aiger

There are 6 repositories under aiger topic.

  • mvcisback/py-aiger

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

    Language:Python408459

  • tniessen/aiger-safety-properties

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

    12207

  • Gy-Hu/pybmc

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

    Language:Python6110

  • 5nizza/aisy

    AIGER based synthesizer using BDDs

    Language:C3201

  • 5nizza/sdf

    Synthesizer from safety games

    Language:C++2200

  • skloibi/boole2aiger

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

    Language:Scala1000