]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
Replace minisat with picosat
authorKarel Kočí <cynerd@email.cz>
Tue, 5 May 2015 15:41:23 +0000 (17:41 +0200)
committerKarel Kočí <cynerd@email.cz>
Tue, 5 May 2015 15:41:23 +0000 (17:41 +0200)
commit85a82310f73ddf212c297505248a59e0898b1204
treed90e02d01b3f38074ca79b79b6b0fb8ef3718c8e
parent7906fa5b78abc6a176f4f5e5014afef4aa34ee7a
Replace minisat with picosat

Picosat is distributed with this project.
Makefile
conf.py
scripts/solution.py