]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
Add minisat config
authorKarel Kočí <cynerd@email.cz>
Tue, 5 May 2015 09:45:40 +0000 (11:45 +0200)
committerKarel Kočí <cynerd@email.cz>
Tue, 5 May 2015 09:45:40 +0000 (11:45 +0200)
commit289b0ce128cdca79676307646eef3d56c25c6dd2
treeeec45ee5fd958a94731fa554ef7c690f6f14ecce
parent20caa5bb744b543b4a55ef7b2d8432e758bb26bb
Add minisat config
conf.py
scripts/solution.py