Redesign of the simple path constraint
Added LatchOutput class
Fixed minor bugs in QDIMACS conversion
Decoupling of Tseitin conversion and QDIMACS conversion