v1.2

Added

• Introduced an extended formula factory which is able to return to a previously saved state and delete old formulas (and get them garbage collected)
• A simple data structure for generic graphs including algorithms for connected components and maximal cliques
• Improved IO (Writers for formulas, Dimacs CNFs, and graphs)

Changed

• SAT solvers can now track the currently known variables
• Updated to ANTLR 4.7

Fixed

• Various smaller bugfixes