From 78e1b509f4e214571a779037889800349017fe6d Mon Sep 17 00:00:00 2001 From: Yurii Kostyukov Date: Wed, 16 Mar 2022 08:50:52 +0300 Subject: [PATCH] [chore] Updated README --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index 300fc5b..c83cff6 100644 --- a/README.md +++ b/README.md @@ -98,8 +98,7 @@ Run a specific solver after processing. Available options: - [CVC4 in finite model find mode](https://cvc4.github.io/papers/cav2013-fmf) (`cvc_fmf`) - [CVC4 in inductive mode](http://lara.epfl.ch/~reynolds/VMCAI2015-ind/) (`cvc_ind`) - [VeriMAP (for inductively defined data types)](https://fmlab.unich.it/iclp2018/) (`verimap`) -- [Vampire in SMTLIB2 mode](https://vprover.github.io/) (`vampire`) -- all the above solvers (`all`) +- [CHC-COMP-optimized fork of Vampire](https://github.com/Columpio/vampire) (`vampire`) > Note that in order to run `Z3`, `Eldarica`, `CVC4`, `Vampire` and `VeriMAP` one should have > `z3`, `eld`, `cvc4`, `vampire` and `VeriMAP-iddt` executables accessible in the environment. > The easiest way to do that is to prefix tool running with: