summaryrefslogtreecommitdiffstats
path: root/src/bdd/llb
Commit message (Expand)AuthorAgeFilesLines
* Adding switch muxes -a to create networks of ADDs.Alan Mishchenko2021-05-151-1/+1
* Adding limit on the number of live BDD nodes in command 'muxes -g'.Alan Mishchenko2020-03-121-1/+1
* Adding switch -g to use global rather than local BDDs in 'muxes'.Alan Mishchenko2020-01-141-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-2428-0/+12634