Implementation of IC3/PDR algorithm with z3py (AIGER 1.0 supported) - View it on GitHub