sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories

sambayless/monosat Issues

Bug in addNode()
Closed 2 years ago3
getConflictClause returns the negation of assumption literals
Closed 2 years ago2
Use of `_FPU_EXTENDED`/`_FPU_DOUBLE` is x86/x87-specific
Updated 3 years ago1
"Bad solution" error with acyclic property and self edge
Closed 3 years ago6
Soundness bug with connected components
Closed 3 years ago22
Integration with Z3?
Updated 4 years ago2
Undirected acyclicity constraint bevahiour
Closed 4 years ago2
getConflictClause() and minizeUnsatCore() always return empty results
Closed 4 years ago1
Misbehavior of bitvector methods in python bindings
Closed 4 years ago2
Build only statically/dynamically linked libraries and binaries?
Closed 5 years ago1
`__local_t` has not been declared
Closed 6 years ago3
Connection to datalog?
Updated 6 years ago1
Possibly flawed assumption in CMakeLists.txt?
Closed 6 years ago3
PyPI package?
Updated 6 years ago2
monosat.aiger?
Closed 6 years ago4
Outdated jar file included in git repo
Closed 6 years ago2
Question: Clang compiler warnings
Closed 6 years ago2
Can't build on OSX
Closed 6 years ago3
read_pb test fails because no-pb-binary-search flag is unknown
Closed 7 years ago1