LogicCircuits (julia): Logic Circuits from the Juice library
Keywords: logical-reasoning|logic-circuits|logic|julia|automated-reasoning