Error
Looks like something went wrong!

About

Implementation of bounded model checking with Z3py. (AIGER1.0 support)

model-checking bounded-model-checking aiger

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%