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
4 files
Filename
Content Type
Size
../
LICENSE
text/plain
1.09 kB
encode.js
text/javascript
635 B
picosat.c
application/octet-stream
163 kB
picosat.h
application/octet-stream
28.8 kB