yices-sat

Command line tools that use the yices library

Install

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

yices-tools

Command line tools that use the yices library