py-aiger

fixed bug; thanks to Jens Kreber for the report

added simple function to evaluate models of formulas

amend previous commit

generator for random boolean formulas

Lazy Aiger (#118)