/ic3-rel-ind-graphs

Early-stage research project to analyze the dependency structure of invariants generated by IC3/PDR.

Primary LanguagePython

No issues in this repository yet.