ekmett ersatz issues - Githubissues

ekmett / ersatz

A monad for interfacing with external SAT solvers

Other

63 stars 15 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

walksat

#97 jwaldmann opened 1 month ago
0
status (SAT/UNSAT) should not be set from exit code, but from contents of answer?

#96 jwaldmann opened 4 months ago
3
Pass the right flags to `depqbf` based on its version

#95 RyanGlScott closed 4 months ago
0
`depqbfPath`: Detect whether `--no-dynamic-nenofex` is needed based on the `depqbf` version

#94 RyanGlScott closed 4 months ago
0
Add QBF example programs using DepQBF

#93 aswiridoff closed 4 months ago
2
Issue 91

#92 jwaldmann closed 7 months ago
0
QSAT model parser should ignore comments (e.g., printed by caqe)

#91 jwaldmann closed 7 months ago
0
add function to call depqbf with extra arguments

#90 jwaldmann closed 7 months ago
2
QSAT: depqbf requires extra option to extract model

#89 jwaldmann closed 7 months ago
0
fusing `And` nodes prevents propagation in the solver?

#88 jwaldmann opened 7 months ago
0
missing simplification/propagation for assert $ (x + y :: Bits) <=? 1

#87 jwaldmann opened 7 months ago
3
drawings of circuits (DAG) denoted by Ersatz.Bit

#86 jwaldmann opened 7 months ago
0
Add module for order theory-related properties

#85 emeinhardt opened 8 months ago
0
Add support for the Kissat solver and the lingeling trio of solvers

#84 emeinhardt closed 9 months ago
0
Add module for unary representation of sets based on Ersatz.Relation

#83 emeinhardt opened 9 months ago
2
Add Ops/Props for functional relations, group function ops

#82 emeinhardt opened 9 months ago
2
Add functions for writing *SAT problems to a dimacs file

#81 emeinhardt closed 9 months ago
3
rename forall to forall_ in haddock

#80 jwaldmann opened 10 months ago
0
Add queries for relation cardinality

#79 emeinhardt closed 9 months ago
3
Improve Ersatz.Relation

#78 aswiridoff closed 9 months ago
3
Monomorphise `decode`/`solveWith` to `Maybe` (#61) and fix #60/#76

#77 RyanGlScott closed 1 year ago
0
Inconsistent result on assertless program.

#76 Xwtek closed 1 year ago
13
Avoid `-Wx-partial` warnings with GHC 9.8+

#75 RyanGlScott closed 1 year ago
0
Rename forall to forall_

#74 RyanGlScott closed 1 year ago
0
The `forall` function triggers `-Wforall-identifier` on GHC 9.4+

#73 RyanGlScott closed 1 year ago
0
add haddocks for Ersatz.Relation

#72 jwaldmann closed 1 year ago
2
improve Ersatz.Relation (docs, features) - or break out?

#71 jwaldmann closed 9 months ago
5
document BitN, Bits (fix #48)

#70 jwaldmann closed 1 year ago
0
add documentation for class Variable (fix #45)

#69 jwaldmann closed 1 year ago
0
Import entities from Control.Monad explicitly since mtl-2.3 stops re-exporting Control.Monad

#68 msakai closed 2 years ago
0
Orderable instances for base and containers

#67 glguy closed 2 years ago
1
Support calling out to z3

#66 glguy closed 2 years ago
0
Add Equatable instances for base types

#65 glguy closed 2 years ago
0
tests/Moore.hs : anyminisat => minisat (else, silent error when solvers are missing)

#64 jwaldmann closed 2 years ago
1
introduce <== operator

#63 jwaldmann opened 2 years ago
0
remove `Run` constructor of `Bit` type

#62 jwaldmann opened 2 years ago
0
why MonadPlus in result of decode and solveWith?

#61 jwaldmann closed 1 year ago
1
decoding of literals of unconstrained variables

#60 jwaldmann closed 1 year ago
5
Use GHC 8.0 as the minimum

#59 RyanGlScott closed 2 years ago
0
TypeApplications?

#58 jwaldmann closed 2 years ago
3
some hlint suggestions I don't agree with

#57 jwaldmann opened 3 years ago
1
small change in orderHelper for better at-most-one

#56 jwaldmann opened 3 years ago
0
view the actual heap structure with ghc-debug

#55 jwaldmann opened 3 years ago
1
generalilze types of Counting functions (and sumBits)?

#54 jwaldmann opened 3 years ago
0
strictness of default implementation of choose

#53 jwaldmann opened 3 years ago
0
Use build-type: Simple.

#52 phadej closed 3 years ago
0
sum types: encoding, pattern matching

#51 jwaldmann opened 4 years ago
1
improve documentation of Ersatz.Counting

#50 jwaldmann opened 4 years ago
3
add Num instances for Bit{3..}

#49 jwaldmann opened 4 years ago
0
document order of bits in Bit{1,2,..,s}

#48 jwaldmann closed 1 year ago
0