Integration of SAT solver #4
Description
Candidate: MathSAT (http://mathsat.fbk.eu/)
We need integration with the command line interface of MathSAT.
A tip from Daniel Ratiu: all classes that start external tools, inherit from
the ToolsRunnerBase class.
Original issue reported on code.google.com by eugen.sc...@gmail.com on 6 Mar 2013 at 9:37