rpms/yices
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The yices package
26 commits 21 branches 0 tags 72 KiB
Find a file
Exact
Fedora Release Engineering 685d81a79a - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2022-01-22 05:42:06 +00:00
.gitignore Version 2.6.2. 2020-03-26 11:48:16 -06: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_36_Mass_Rebuild 2022-01-22 05:42:06 +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.