Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
Primary LanguagePython