krosslily1 / aiger-safety-property-examples Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tniessen/aiger-safety-properties
AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers
License: MIT License