yices-sat

Command line tools that use the yices library

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