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