rpms/yices
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The yices package
57 commits 21 branches 0 tags 72 KiB
Find a file
Exact
Fedora Release Engineering a796b41161 Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
2026-07-17 09:34:40 +00:00
.gitignore Version 2.7.0 2025-07-18 14:04:04 -06:00
changelog Convert to %autorelease and %autochangelog 2024-06-25 08:24:48 -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.7.0 2025-07-18 14:04:04 -06:00
yices-cryptominisat.patch Rebuild for cryptominisat 5.14.4 2026-04-30 12:18:22 -06:00
yices.spec Reduce the number of TeXLive packages used to build 2026-07-14 19:34:02 -06: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.