rpms/yices
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The yices package
33 commits 21 branches 0 tags 72 KiB
Find a file
Exact
Jerry James 9f72170586 Rebuild for cadical 1.9.4 
Update font licenses from LPPL-1.0 to LPPL-1.3a
2024-01-10 08:39:58 -07: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 Rebuild for cadical 1.9.4 2024-01-10 08:39:58 -07: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.