PB/CT

A solver for Pseudo-Boolean Optimization based on Satisfiability Modulo Theories (read more)

mcsti

A model checker for AIGER models based on k-induction (read more)