CL-SAT instance to Glucose state-of-the-art SAT solver. This downloads the later 2014 version (2nd in the 2014 SAT competition).
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool