Start clause extraction with BDDs
Allow hashing std::pair
[wip] Start implementing BDD creation from pbc
Encode true and false in key
Implement and and or, also use Light clause instead of real clauses
Extract ite function
Use formula code from minisat+
Replace pragma with ifndef (more compatible)
Define some types in global
spaces -> tabs
Name .C files .cpp
Code style
Change types in test
Fix build of ite code from minisat+
More test
Move gcd to helpers, add n choose k function
Merge branch 'master' into extract_clauses
Fix build
Add minisat clausify code
Can build