Issues
- 3
more flexible way of calling other solvers
#44 opened by jwaldmann - 5
- 0
rename forall to forall_ in haddock
#80 opened by jwaldmann - 13
Inconsistent result on assertless program.
#76 opened by Xwtek - 5
decoding of literals of unconstrained variables
#60 opened by jwaldmann - 1
- 5
adding haskell native solvers
#2 opened by cartazio - 0
- 1
some hlint suggestions I don't agree with
#57 opened by jwaldmann - 2
- 0
document order of bits in Bit{1,2,..,s}
#48 opened by jwaldmann - 1
sum types: encoding, pattern matching
#51 opened by jwaldmann - 1
tests/Moore.hs : anyminisat => minisat (else, silent error when solvers are missing)
#64 opened by jwaldmann - 3
Generalize type of (===) ?
#31 opened by jwaldmann - 1
- 0
introduce <== operator
#63 opened by jwaldmann - 0
- 0
automatic derivation of `instance Codec`?
#46 opened by jwaldmann - 3
TypeApplications?
#58 opened by jwaldmann - 0
- 0
remove `Run` constructor of `Bit` type
#62 opened by jwaldmann - 0
strictness of default implementation of choose
#53 opened by jwaldmann - 0
fixed bit-width numbers with overflow detection
#22 opened by jwaldmann - 1
- 0
- 3
wanted: assertClause :: [Bit] -> m ()
#41 opened by jwaldmann - 0
add Num instances for Bit{3..}
#49 opened by jwaldmann - 3
improve documentation of Ersatz.Counting
#50 opened by jwaldmann - 1
view the actual heap structure with ghc-debug
#55 opened by jwaldmann - 7
- 4
CNF output is way too slow
#16 opened by jwaldmann - 4
make it easier to write types
#42 opened by jwaldmann - 3
Get CI working with cryptominisat5
#40 opened by RyanGlScott - 0
No instance for (Semigroup Clause)
#37 opened by phadej - 1
bugfix -> needs new release on hackage
#28 opened by jwaldmann - 0
The grid.pdf link is broken on Hackage
#14 opened by nkaretnikov - 2
StableName performance
#30 opened by jwaldmann - 0
deprecate sumBit, since sumBits is better
#29 opened by jwaldmann - 0
- 1
- 4
ersatz creates duplicate clauses
#23 opened by jwaldmann - 3
suggestion: add some AIG magic
#12 opened by jwaldmann - 8
Control.Lens: Can't be safely imported!
#13 opened by tomjaguarpaw - 2
ersatz-0.2.6.1 cannot compile its test suite
#8 opened by peti - 3
Consider a more powerful 'decode'
#10 opened by ekmett - 1
An existential crisis
#1 opened by ekmett