GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-11-28 21:35:05 +03:00
Code Issues Projects Releases Wiki Activity

Update supported solver versions in the README

Browse Source
This commit is contained in:
Rob Dockins 2021-08-04 13:28:35 -07:00
parent 8ae70f2418
commit 40532757f2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
what4/README.md
View File

@ -271,10 +271,10 @@ for the more experimental logics that have not been standardized. If you
encounter such a situation, please open a ticket, as our goal is to work correctly
on as wide a collection of solvers as is reasonable.
- Z3 versions 4.8.7, 4.8.8, and 4.8.9
- Z3 versions 4.8.7 through 4.8.12
- Yices 2.6.1 and 2.6.2
- CVC4 1.7 and 1.8
- Boolector 3.2.1
- Boolector 3.2.1 and 3.2.2
- STP 2.3.3
(However, note https://github.com/stp/stp/issues/363, which prevents
effective retrieval of model values. This should be resolved by the next release)