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. |