npm

yices2

SMT solver for satisfiability modulo theories problems

brewmacoslinux
Try with needOr install directly
Source

About

Yices SMT Solver

Commands

yicesyicessat

Examples

Check satisfiability of a logic formula in Yices input format$ yices < formula.yices
Run Yices SMT solver on a file with satisfiability assertions$ yices formula.ys
Use yicessat to solve satisfiability problems with a timeout$ yicessat --timeout=10 problem.smt2