Library for propositional satisfiability developed for the SMT-solver veriT.