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