issues
search
agurfinkel
/
minisat
A minimalistic and high-performance SAT solver
minisat.se
Other
19
stars
21
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add WASM support and LIBRARY_ONLY build.
#2
cr1901
opened
6 months ago
0
Fixed a compatibility issue with Visual Studio 2015 and newer
#1
mElBalkini
closed
6 years ago
1