[SMT-LIB] Solving dimacs instances with an SMT solvers

Frank Imeson fcimeson at gmail.com
Thu Dec 4 15:13:53 EST 2014


Hey guys,

I have an open question on Stackoverflow
<https://stackoverflow.com/questions/27298133/solving-dimacs-instances-with-an-smt-solver-seems-slow-smt2-format>
about
the speed of smt solvers. Thanks ahead of time If you have time to look at
it.

    - Frank


More information about the SMT-LIB mailing list