A model checker based on SAT solving and induction - View it on GitHub