btor2-opt

Python ★ 12 updated 5mo ago

Btor2 parser, circuit mitter, and code optimizer

No plain-English explanation yet — one is being written right now. Check back in a minute.