guicho271828 /cl-sat.glucose

CL-SAT instance to Glucose state-of-the-art SAT solver. This downloads the later 2014 version (2nd in the 2014 SAT competition).

Type GITHUB
Source https://github.com/guicho271828/cl-sat.glucose
Branch or tag
Last seen commit ba7a9915212bed81a7eb336868cc3bc807a6c8fd
Release http://dist.ultralisp.org/ultralisp/archive/g/guicho271828-cl-sat.glucose-20190810043129.tgz
Distributions ultralisp
Last check Finished 5 days 23 hours 30 minutes 7 seconds 172917000 nsecs.