/aiger-safety-property-examples

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

MIT LicenseMIT

This repository is not active