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.