yices-smt

Command line tools that use the yices library

Install

All systems
curl cmd.cat/yices-smt.sh
Fedora
dnf install yices-tools

yices-tools

Command line tools that use the yices library