/aiger-safety-property-examples

AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers

MIT LicenseMIT

Stargazers

No one’s star this repository yet.