Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Exploration of Sasao's decomposition and minor improvements. | Alan Mishchenko | 2011-03-11 | 1 | -0/+70 |
* | Made abc.h independent of CUDD and Extra. | Alan Mishchenko | 2011-03-03 | 1 | -0/+1 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -28/+33 |
* | Version abc90315 | Alan Mishchenko | 2009-03-15 | 1 | -78/+566 |
* | Version abc90310 | Alan Mishchenko | 2009-03-10 | 1 | -0/+209 |