It is assumed that cbmb is installed and on the PATH (https://www.cprover.org/cbmc/).

The SAT solver Cadical, is used to determine which instances are satisfiability and which are unsatisfiable. The solver was obtained from GitHub (https://github.com/arminbiere/cadical.git).
