Description
High-performance theorem prover and SMT solver.
package
yices
Metadata
Version
2.7.0License
Homepage
https://yices.csl.sri.comMaintainers (1)
Executables (4)
Show all bin/yices-smtbin/yicesbin/yices-sat
bin/yices-smtbin/yicesbin/yices-satbin/yices-smt2
Platforms (24)
Darwin
Linux
Show all
aarch64-darwinaarch64-linuxarmv5tel-linuxarmv6l-linuxarmv7a-linuxarmv7l-linuxi686-linuxloongarch64-linuxm68k-linuxmicroblaze-linuxmicroblazeel-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxpowerpc-linuxpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv64-linuxs390-linuxs390x-linuxx86_64-darwinx86_64-linux