Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adding limit on the number of live BDD nodes in command 'muxes -g'. | Alan Mishchenko | 2020-03-12 | 1 | -1/+1 |
* | Adding switch -g to use global rather than local BDDs in 'muxes'. | Alan Mishchenko | 2020-01-14 | 1 | -1/+1 |
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 28 | -0/+12634 |