yices

Command line tools that use the yices library

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