rpms/yices
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The yices package
31 commits 21 branches 0 tags 72 KiB
Find a file
Exact
Fedora Release Engineering a4fab3edb0 Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2023-01-21 08:05:33 +00:00
.gitignore Version 2.6.2. 2020-03-26 11:48:16 -06:00
implicit-int.patch Get rid of an imlicit int function declaration in a configure check 2022-11-28 12:38:10 +01:00
README.md Version 2.6.4. 2021-10-25 08:01:38 -06:00
sources Version 2.6.4. 2021-10-25 08:01:38 -06:00
yices-cryptominisat.patch Version 2.6.4. 2021-10-25 08:01:38 -06:00
yices.spec Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild 2023-01-21 08:05:33 +00:00

README.md

yices

Yices 2 is a solver for Satisfiability Modulo Theories (SMT) problems. Yices 2 can process input written in the SMT-LIB language, or in Yices' own specification language. The package provides a C API. Separately, bindings for Java, Python, Go, and OCaml are available.