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