]> rtime.felk.cvut.cz Git - linux-conf-perf.git/tree
Add minisat config
-rw-r--r-- 54 .gitignore
-rw-r--r-- 318 .gitmodules
-rw-r--r-- 3688 Makefile
-rw-r--r-- 419 TODO.md
-rw-r--r-- 67 benchmark.py
drwxr-xr-x - benchmark
-rw-r--r-- 2102 conf.py
-rw-r--r-- 78 known-problems
m--------- - linux
drwxr-xr-x - scripts