Last released Aug 22, 2024
This package takes a symbolic DFA and produces an AIGER file of type aag
Supported by