guicho271828 /cl-sat.glucose
Enter comma separated tag names:
+

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
Created at	2022-03-12 21:53:28 UTC
Source	https://github.com/guicho271828/cl-sat.glucose
Branch or tag	master
Last seen commit	bed0ad59bd45477dc7a0f0027ccf00d645354fc5
Release	http://dist.ultralisp.org/archive/1071/guicho271828-cl-sat.glucose-20220312215319.tgz
Systems	cl-sat.glucose.asd cl-sat.glucose cl-sat.glucose.test.asd cl-sat.glucose.test
Distributions	ultralisp
Last check	Waiting in the queue. Position: 1438.