Release 2.0.0 for Coq 8.5

gmalecha released this 17 Mar 17:46

· 1 commit to master since this release

Large refactoring and interface changes:

Code is now packaged under SMTC "namespace"
Tactic changed to 'smt solve' rather than 'z3 solve'
Options for selecting the backend smt solver.

Assets 2