Adding a variable for counting the number of clauses
[satune.git] / src / Tuner /
drwxr-xr-x   ..
-rw-r--r-- 3007 autotuner.cc
-rw-r--r-- 460 autotuner.h
-rw-r--r-- 5705 searchtuner.cc
-rw-r--r-- 2101 searchtuner.h
-rw-r--r-- 1623 tunable.cc
-rw-r--r-- 1642 tunable.h