diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-01 14:09:36 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-01 14:09:36 +0100 |
| commit | ed4869bbc741a0e62e5e57b5289b1c202cd71e7f (patch) | |
| tree | 835861ce7c142705774d008d2bbbfbe64c9a6a7f /README.md | |
| parent | b66c3a06caed8a5e240c439d2dafa99ae1f954b6 (diff) | |
| download | smtcoq-ed4869bbc741a0e62e5e57b5289b1c202cd71e7f.tar.gz smtcoq-ed4869bbc741a0e62e5e57b5289b1c202cd71e7f.zip | |
Release 1.3
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -8,10 +8,10 @@ vernacular commands and tactics to interface with the SAT solver zChaff and the SMT solver veriT are provided. It is designed in a modular way allowing to extend it easily to other solvers. -Since version 1.2, SMTCoq also provides an extracted version of the -checker, available only with native-coq. +SMTCoq also provides an extracted version of the checker, that can be +run outside Coq. -The current stable version is the version 1.2. +The current stable version is version 1.3. ### Installation |