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

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)

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.

Frontend compiler for safety-net

Pure Python AIG (And-Inverter Graph) optimizer with FRAIG sweeping, NPN-guided DAG-aware rewriting, resubstitution, and stochastic multi-restart optimization. Benchmarks against Yosys and ABC.