guicho271828 /cl-sat
Common Interface to Boolean Satisfiability Solvers from Common Lisp
Type | GITHUB |
---|---|
Source | https://github.com/guicho271828/cl-sat |
Branch or tag | |
Last seen commit | 9f479915eefba5c5cc668bc524be15b18fd89dc0 |
Release | http://dist.ultralisp.org/ultralisp/archive/g/guicho271828-cl-sat-20200709170249.tgz |
Distributions | ultralisp |
Last check | Finished 6 days 1 hour 12 minutes 9 seconds 642572000 nsecs. |