Reverse Dependencies of py-aiger-sat

The following projects have a declared dependency on py-aiger-sat:

• mce-spec-inference — Maximum Causal Entropy Specification Inference.
• py-aiger-coins — Library for creating circuits that encode discrete distributions.