Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ekmett/ersatz issues and pull requests

#99 - rows, colums of relation

Issue - State: open - Opened by jwaldmann 3 months ago

#98 - updating a relation (want `//` operator)

Issue - State: open - Opened by jwaldmann 3 months ago

#97 - walksat

Issue - State: open - Opened by jwaldmann 6 months ago

#95 - Pass the right flags to `depqbf` based on its version

Pull Request - State: closed - Opened by RyanGlScott 8 months ago

#93 - Add QBF example programs using DepQBF

Pull Request - State: closed - Opened by aswiridoff 9 months ago - 2 comments

#92 - Issue 91

Pull Request - State: closed - Opened by jwaldmann 11 months ago

#90 - add function to call depqbf with extra arguments

Pull Request - State: closed - Opened by jwaldmann 11 months ago - 2 comments

#89 - QSAT: depqbf requires extra option to extract model

Issue - State: closed - Opened by jwaldmann 11 months ago

#87 - missing simplification/propagation for assert $ (x + y :: Bits) <=? 1

Issue - State: open - Opened by jwaldmann 11 months ago - 3 comments

#86 - drawings of circuits (DAG) denoted by Ersatz.Bit

Issue - State: open - Opened by jwaldmann 11 months ago

#85 - Add module for order theory-related properties

Pull Request - State: open - Opened by emeinhardt about 1 year ago

#84 - Add support for the Kissat solver and the lingeling trio of solvers

Pull Request - State: closed - Opened by emeinhardt about 1 year ago

#83 - Add module for unary representation of sets based on Ersatz.Relation

Pull Request - State: open - Opened by emeinhardt about 1 year ago - 2 comments

#82 - Add Ops/Props for functional relations, group function ops

Pull Request - State: open - Opened by emeinhardt about 1 year ago - 2 comments

#81 - Add functions for writing *SAT problems to a dimacs file

Pull Request - State: closed - Opened by emeinhardt about 1 year ago - 3 comments

#80 - rename forall to forall_ in haddock

Issue - State: open - Opened by jwaldmann about 1 year ago
Labels: documentation

#79 - Add queries for relation cardinality

Pull Request - State: closed - Opened by emeinhardt about 1 year ago - 3 comments

#78 - Improve Ersatz.Relation

Pull Request - State: closed - Opened by aswiridoff about 1 year ago - 3 comments

#77 - Monomorphise `decode`/`solveWith` to `Maybe` (#61) and fix #60/#76

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#76 - Inconsistent result on assertless program.

Issue - State: closed - Opened by Xwtek over 1 year ago - 13 comments
Labels: bug

#75 - Avoid `-Wx-partial` warnings with GHC 9.8+

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#74 - Rename forall to forall_

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#72 - add haddocks for Ersatz.Relation

Pull Request - State: closed - Opened by jwaldmann over 2 years ago - 2 comments

#71 - improve Ersatz.Relation (docs, features) - or break out?

Issue - State: closed - Opened by jwaldmann over 2 years ago - 5 comments
Labels: question

#70 - document BitN, Bits (fix #48)

Pull Request - State: closed - Opened by jwaldmann over 2 years ago

#69 - add documentation for class Variable (fix #45)

Pull Request - State: closed - Opened by jwaldmann over 2 years ago

#67 - Orderable instances for base and containers

Pull Request - State: closed - Opened by glguy over 2 years ago - 1 comment

#66 - Support calling out to z3

Pull Request - State: closed - Opened by glguy over 2 years ago

#65 - Add Equatable instances for base types

Pull Request - State: closed - Opened by glguy over 2 years ago

#63 - introduce <== operator

Issue - State: open - Opened by jwaldmann almost 3 years ago
Labels: new feature

#62 - remove `Run` constructor of `Bit` type

Issue - State: open - Opened by jwaldmann almost 3 years ago
Labels: remove feature

#61 - why MonadPlus in result of decode and solveWith?

Issue - State: closed - Opened by jwaldmann almost 3 years ago - 1 comment
Labels: question

#60 - decoding of literals of unconstrained variables

Issue - State: closed - Opened by jwaldmann almost 3 years ago - 5 comments
Labels: bug

#59 - Use GHC 8.0 as the minimum

Pull Request - State: closed - Opened by RyanGlScott about 3 years ago

#58 - TypeApplications?

Issue - State: closed - Opened by jwaldmann almost 4 years ago - 3 comments

#57 - some hlint suggestions I don't agree with

Issue - State: open - Opened by jwaldmann almost 4 years ago - 1 comment

#56 - small change in orderHelper for better at-most-one

Issue - State: open - Opened by jwaldmann almost 4 years ago
Labels: improvement

#55 - view the actual heap structure with ghc-debug

Issue - State: open - Opened by jwaldmann almost 4 years ago - 1 comment

#54 - generalilze types of Counting functions (and sumBits)?

Issue - State: open - Opened by jwaldmann about 4 years ago
Labels: question

#53 - strictness of default implementation of choose

Issue - State: open - Opened by jwaldmann about 4 years ago
Labels: question

#52 - Use build-type: Simple.

Pull Request - State: closed - Opened by phadej about 4 years ago

#51 - sum types: encoding, pattern matching

Issue - State: open - Opened by jwaldmann over 4 years ago - 1 comment
Labels: research needed

#50 - improve documentation of Ersatz.Counting

Issue - State: open - Opened by jwaldmann over 4 years ago - 3 comments
Labels: documentation

#49 - add Num instances for Bit{3..}

Issue - State: open - Opened by jwaldmann over 4 years ago
Labels: new feature

#48 - document order of bits in Bit{1,2,..,s}

Issue - State: closed - Opened by jwaldmann over 4 years ago
Labels: documentation

#47 - instance (Bounded i, Ix i, Variable e) => Variable (A.Array i e) ?

Issue - State: closed - Opened by jwaldmann about 5 years ago - 1 comment

#46 - automatic derivation of `instance Codec`?

Issue - State: open - Opened by jwaldmann about 5 years ago - 7 comments
Labels: research needed

#45 - Add `class Unknown` for all types that have a complete allocator

Issue - State: closed - Opened by jwaldmann about 5 years ago - 2 comments

#44 - more flexible way of calling other solvers

Issue - State: open - Opened by jwaldmann over 5 years ago - 3 comments

#43 - Add MonadSAT constraint synonym

Pull Request - State: closed - Opened by glguy over 5 years ago - 1 comment

#42 - make it easier to write types

Issue - State: closed - Opened by jwaldmann over 5 years ago - 4 comments

#41 - wanted: assertClause :: [Bit] -> m ()

Issue - State: open - Opened by jwaldmann over 5 years ago - 3 comments
Labels: new feature

#40 - Get CI working with cryptominisat5

Issue - State: closed - Opened by RyanGlScott over 5 years ago - 3 comments

#39 - Support cryptominisat5, which has a different output format.

Pull Request - State: closed - Opened by nshepperd over 5 years ago - 2 comments

#38 - Avoid a failable pattern match in Ersatz.BitChar

Pull Request - State: closed - Opened by RyanGlScott over 6 years ago

#37 - No instance for (Semigroup Clause)

Issue - State: closed - Opened by phadej about 7 years ago

#36 - add more operations and properties of relations

Pull Request - State: closed - Opened by jwaldmann over 7 years ago

#35 - Add general buildFrom function to Ersatz.Relation

Pull Request - State: closed - Opened by mheinzel over 7 years ago - 3 comments

#34 - Generalize type of some props to non-homogenous relations

Pull Request - State: closed - Opened by mheinzel over 7 years ago - 2 comments

#33 - define and export assertClause

Pull Request - State: closed - Opened by jwaldmann almost 8 years ago - 2 comments

#32 - Upgrade the Setup.hs harness to use cabal-doctest.

Pull Request - State: closed - Opened by phadej almost 8 years ago

#31 - Generalize type of (===) ?

Issue - State: closed - Opened by jwaldmann about 8 years ago - 3 comments
Labels: question

#30 - StableName performance

Issue - State: closed - Opened by jwaldmann about 8 years ago - 2 comments

#29 - deprecate sumBit, since sumBits is better

Issue - State: open - Opened by jwaldmann about 8 years ago - 1 comment

#28 - bugfix -> needs new release on hackage

Issue - State: closed - Opened by jwaldmann about 8 years ago - 1 comment

#27 - repair formula

Pull Request - State: closed - Opened by jwaldmann about 8 years ago

#26 - support cryptominisat5[try again]

Pull Request - State: closed - Opened by cutsea110 over 8 years ago - 2 comments

#25 - support cryptominisat5

Pull Request - State: closed - Opened by cutsea110 over 8 years ago - 2 comments

#24 - Fix tests when building with stack

Pull Request - State: closed - Opened by RyanGlScott over 8 years ago - 1 comment

#23 - ersatz creates duplicate clauses

Issue - State: closed - Opened by jwaldmann almost 9 years ago - 4 comments

#22 - fixed bit-width numbers with overflow detection

Issue - State: open - Opened by jwaldmann almost 9 years ago
Labels: new feature

#21 - feature req: bit vector with type-indexed length

Issue - State: open - Opened by jwaldmann almost 9 years ago - 1 comment
Labels: new feature

#20 - strange result bit width for multiplication in type Bits

Issue - State: closed - Opened by jwaldmann almost 9 years ago

#19 - document overflow semantics of Num instances of Bit{1,2,s}

Issue - State: open - Opened by jwaldmann almost 9 years ago
Labels: documentation

#18 - performance improvements (CNF printing and parsing)

Pull Request - State: closed - Opened by jwaldmann almost 9 years ago - 3 comments

#17 - reading the satisfying assignment is way too slow

Issue - State: open - Opened by jwaldmann almost 9 years ago - 7 comments

#16 - CNF output is way too slow

Issue - State: open - Opened by jwaldmann almost 9 years ago - 4 comments

#15 - renamed BitN to Bits in Factor.hs

Pull Request - State: closed - Opened by malie over 9 years ago - 1 comment

#14 - The grid.pdf link is broken on Hackage

Issue - State: closed - Opened by nkaretnikov over 9 years ago

#13 - Control.Lens: Can't be safely imported!

Issue - State: closed - Opened by tomjaguarpaw over 9 years ago - 8 comments

#12 - suggestion: add some AIG magic

Issue - State: closed - Opened by jwaldmann almost 10 years ago - 3 comments

#11 - compile error with ghc-7.10 (wants FlexibleContexts)

Issue - State: closed - Opened by jwaldmann almost 10 years ago - 1 comment

#10 - Consider a more powerful 'decode'

Issue - State: closed - Opened by ekmett almost 10 years ago - 3 comments

#9 - repair URL

Pull Request - State: closed - Opened by jwaldmann almost 10 years ago - 2 comments

#8 - ersatz-0.2.6.1 cannot compile its test suite

Issue - State: closed - Opened by peti almost 10 years ago - 2 comments

#7 - Added the ability to get the solution out of depqbf

Pull Request - State: closed - Opened by danielwaterworth about 10 years ago

#6 - Export GVariable and its methods

Pull Request - State: closed - Opened by glguy about 10 years ago

#5 - Added a factorization example

Pull Request - State: closed - Opened by ghost over 10 years ago

#4 - Factorization example

Pull Request - State: closed - Opened by ghost over 10 years ago

#3 - Bump lens and temporary dependency

Pull Request - State: closed - Opened by glguy almost 11 years ago - 1 comment

#2 - adding haskell native solvers

Issue - State: open - Opened by cartazio almost 12 years ago - 5 comments

#1 - An existential crisis

Issue - State: closed - Opened by ekmett over 14 years ago - 1 comment