diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-09 07:09:32 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-09 07:09:32 +0100 |
commit | 085c27e1b661bdb94e71e8009fc24a95041f66c7 (patch) | |
tree | bca00da745485e3df4c768fe0555a9ae26035939 | |
parent | 83de4e454cb98c645138e1c4a778fa2418bb9958 (diff) | |
download | smtcoq-085c27e1b661bdb94e71e8009fc24a95041f66c7.tar.gz smtcoq-085c27e1b661bdb94e71e8009fc24a95041f66c7.zip |
Preparing release
-rw-r--r-- | coq-smtcoq.opam | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq-smtcoq.opam b/coq-smtcoq.opam index 50b29a2..e597b1e 100644 --- a/coq-smtcoq.opam +++ b/coq-smtcoq.opam @@ -40,5 +40,5 @@ description: """ - a certified checker for proof witnesses coming from the SAT solver ZChaff and the SMT solvers veriT and CVC4. This checker increases the confidence in these tools by checking their answers a posteriori and allows to import new theroems proved by these solvers in Coq; - decision procedures through new tactics that discharge some Coq goals to ZChaff, veriT, CVC4, and their combination""" url { - src: "git+https://github.com/smtcoq/smtcoq.git#with-trakt" + src: "git+https://github.com/smtcoq/smtcoq.git#itp22" } |