Add extract necessary code for extracting clauses instead of a formula
Add missing minisat+ code, ad clause collector as replacement for solver
Rename method to make more clear what it does
Clean up
Add streamhelper, working version of pbc->clauses
Cleanup and use std::vector for clauses
Use std::vector instead of custom vec, use std::pair
foo
Clausifier code style