issues
search
sambayless
/
monosat
MonoSAT - An SMT solver for Monotonic Theories
MIT License
108
stars
30
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Incorrect `buildReason` leads to "Critical error: bad learnt clause."
#38
FertileFragrance
opened
2 months ago
0
Fix an issue of parsing negative external variable
#37
NickF0211
closed
1 year ago
0
Python 3.10 Support: collections.Iterable
#36
DSoko2
closed
2 years ago
1
Fix an integer overflow issue with the dynamic cut algorithm.
#35
NickF0211
closed
2 years ago
0
getConflictClause returns the negation of assumption literals
#34
amnore
closed
2 years ago
2
Use of `_FPU_EXTENDED`/`_FPU_DOUBLE` is x86/x87-specific
#33
risicle
opened
3 years ago
1
"Bad solution" error with acyclic property and self edge
#32
divergentdave
closed
3 years ago
6
addNode() bug fix
#31
jo285317
closed
2 years ago
0
Bug in addNode()
#30
jo285317
closed
2 years ago
3
Soundness bug with connected components
#29
jeremysalwen
closed
3 years ago
22
Integration with Z3?
#28
jeremysalwen
opened
4 years ago
2
Misbehavior of bitvector methods in python bindings
#27
xieyangxu
closed
4 years ago
2
getConflictClause() and minizeUnsatCore() always return empty results
#26
xieyangxu
closed
4 years ago
1
Update to work with Python 3.8
#25
acairncross
closed
4 years ago
1
Add option to build with only dynamic/static linking
#24
acairncross
closed
5 years ago
1
Build only statically/dynamically linked libraries and binaries?
#23
acairncross
closed
5 years ago
1
Fix assertion bugs, handle AppleClang compiler ID
#22
bkocik
closed
5 years ago
1
Undirected acyclicity constraint bevahiour
#21
acairncross
closed
4 years ago
2
Quick bugfix for addUndirectedEdge(int,int), to be checked and tested
#20
fraimondi
closed
5 years ago
2
distutils -> setuptools
#19
yasoob
closed
5 years ago
5
Enables compiling on FreeBSD.
#18
bkocik
closed
5 years ago
1
`__local_t` has not been declared
#17
seanmcl
closed
6 years ago
3
Add <stdexcept> include
#16
seanmcl
closed
6 years ago
1
Connection to datalog?
#15
copumpkin
opened
6 years ago
1
Remove a couple of forgotten and unnecessary files
#14
copumpkin
closed
6 years ago
0
Fix minor typo
#13
copumpkin
closed
6 years ago
0
Outdated jar file included in git repo
#12
copumpkin
closed
6 years ago
2
Possibly flawed assumption in CMakeLists.txt?
#11
copumpkin
closed
6 years ago
3
monosat.aiger?
#10
copumpkin
closed
6 years ago
4
Add instructions for old installs of GMP on OSX
#9
seanmcl
closed
6 years ago
0
Question: Clang compiler warnings
#8
seanmcl
closed
6 years ago
2
Can't build on OSX
#7
seanmcl
closed
6 years ago
3
PyPI package?
#6
kasbah
opened
6 years ago
2
read_pb test fails because no-pb-binary-search flag is unknown
#5
Hirse
closed
7 years ago
1
Fix Markup of Link in Readme
#4
Hirse
closed
7 years ago
0
Add syntax highlighting to Tutorial py snippets
#3
Hirse
closed
7 years ago
1
Fix for compilation under OSX
#2
xoolive
closed
8 years ago
7
#dynamic library builds on OSX Yosemite with clang
#1
lamestllama
closed
9 years ago
3