UNPKG
picosat
Version:
latest (1.2.0)
next (1.1.0-alpha)
1.2.0
1.1.0
1.1.0-alpha
1.0.2
1.0.1
1.0.0
picosat SAT solver
github.com/dirkschumacher/nodepicosat
dirkschumacher/nodepicosat
picosat
/
lib
/
picosat.c
163 kB
Binary
View Raw
No preview is available for this file.