yices-smt2

Command line tools that use the yices library

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