aboutsummaryrefslogtreecommitdiff
path: root/known-problems
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-05-05 17:41:23 +0200
committerKarel Kočí <cynerd@email.cz>2015-05-05 17:41:23 +0200
commit85a82310f73ddf212c297505248a59e0898b1204 (patch)
treed90e02d01b3f38074ca79b79b6b0fb8ef3718c8e /known-problems
parent7906fa5b78abc6a176f4f5e5014afef4aa34ee7a (diff)
downloadlinux-conf-perf-85a82310f73ddf212c297505248a59e0898b1204.tar.gz
linux-conf-perf-85a82310f73ddf212c297505248a59e0898b1204.tar.bz2
linux-conf-perf-85a82310f73ddf212c297505248a59e0898b1204.zip
Replace minisat with picosat
Picosat is distributed with this project.
Diffstat (limited to 'known-problems')
0 files changed, 0 insertions, 0 deletions