dimacs file parsing

git-svn-id: svn+ssh://fries.it.uu.se/home/victor/SVNroot/pa/gepi/trunk/PsiWorkBench/trunk@4609 15178899-d6b2-c17f-aa0b-88a7dc59b424
a driver for the sat solver

git-svn-id: svn+ssh://fries.it.uu.se/home/victor/SVNroot/pa/gepi/trunk/PsiWorkBench/trunk@4610 15178899-d6b2-c17f-aa0b-88a7dc59b424
various changes

git-svn-id: svn+ssh://fries.it.uu.se/home/victor/SVNroot/pa/gepi/trunk/PsiWorkBench/trunk@4611 15178899-d6b2-c17f-aa0b-88a7dc59b424
more accurate timeing

git-svn-id: svn+ssh://fries.it.uu.se/home/victor/SVNroot/pa/gepi/trunk/PsiWorkBench/trunk@4612 15178899-d6b2-c17f-aa0b-88a7dc59b424
test

git-svn-id: svn+ssh://fries.it.uu.se/home/victor/SVNroot/pa/gepi/trunk/PsiWorkBench/trunk@4613 15178899-d6b2-c17f-aa0b-88a7dc59b424
rename

git-svn-id: svn+ssh://fries.it.uu.se/home/victor/SVNroot/pa/gepi/trunk/PsiWorkBench/trunk@4614 15178899-d6b2-c17f-aa0b-88a7dc59b424
lambda -> new


git-svn-id: svn+ssh://fries.it.uu.se/home/victor/SVNroot/pa/gepi/trunk/PsiWorkBench/trunk@4755 15178899-d6b2-c17f-aa0b-88a7dc59b424
branch for fixes


git-svn-id: svn+ssh://fries.it.uu.se/home/victor/SVNroot/pa/gepi/trunk/PsiWorkBench/trunk@5001 15178899-d6b2-c17f-aa0b-88a7dc59b424
The new algorithm with various fixes


git-svn-id: svn+ssh://fries.it.uu.se/home/victor/SVNroot/pa/gepi/trunk/PsiWorkBench/trunk@5135 15178899-d6b2-c17f-aa0b-88a7dc59b424
merged in the new example


git-svn-id: svn+ssh://fries.it.uu.se/home/victor/SVNroot/pa/gepi/trunk/PsiWorkBench/trunk@5389 15178899-d6b2-c17f-aa0b-88a7dc59b424