py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

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

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

A Python library for working with logic networks, synthesis, and optimization.

AIGER based synthesizer using BDDs

Synthesizer from safety games

A simple tool that converts Boole files to their corresponding AIGER counterparts

Satisfiable benchmarks from reactive synthesis. The challenge is to find small solutions.