yices2-dev (alpine): Solver for Satisfiability Modulo Theories (SMT) problems (development files)
Keywords: sat-solver|satisfiability|satisfiability-modulo-theories|smt-solver|theorem-prover