rpms/yices
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The yices package
40 commits 21 branches 0 tags 72 KiB
Find a file
Exact
Jerry James e18eae7dcc Version 2.6.5
2024-06-25 10:12:36 -06:00
.gitignore Version 2.6.2. 2020-03-26 11:48:16 -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.6.5 2024-06-25 10:12:36 -06:00
yices-cryptominisat.patch Version 2.6.4. 2021-10-25 08:01:38 -06:00
yices.spec Version 2.6.5 2024-06-25 10:12:36 -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.