a logic circuit description DSL in Python