yices-smt

Command line tools that use the yices library

Fedora
RUN dnf install -y yices-tools
click the source code to copy install yices-smt on any operating system with command-not-found.com