GitHub repository: yardenav/bdd_erlang
Created: 2017-07-07T07:18:27Z
Description: A mid-semester project on representing boolean formulas as bdd trees.