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