yices-smt2

Command line tools that use the yices library

Install

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

yices-tools

Command line tools that use the yices library