GitHub repository: niklasso/tip
Primary language: C++
Description: A model checker based on SAT solving and induction