summaryrefslogtreecommitdiffstats
path: root/src/opt/dec
Commit message (Expand)AuthorAgeFilesLines
* Exploration of Sasao's decomposition and minor improvements.Alan Mishchenko2011-03-111-2/+2
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-032-1/+3
* initial commit of public abcAlan Mishchenko2010-11-016-41/+77
* Version abc90310Alan Mishchenko2009-03-101-0/+47
* Version abc90215Alan Mishchenko2009-02-154-24/+24
* Version abc80702Alan Mishchenko2008-07-024-12/+12
* Version abc80130_2Alan Mishchenko2008-01-306-49/+312
* Version abc80130Alan Mishchenko2008-01-306-312/+49
* Version abc71216Alan Mishchenko2007-12-163-11/+8
* Version abc71001Alan Mishchenko2007-10-017-0/+1922
* Version abc70930Alan Mishchenko2007-09-307-1922/+0
* Version abc70110Alan Mishchenko2007-01-101-1/+64
* Version abc61122Alan Mishchenko2006-11-221-11/+11
* Version abc60822Alan Mishchenko2006-08-221-9/+33
* Version abc60803Alan Mishchenko2006-08-031-1/+5
* Version abc60723Alan Mishchenko2006-07-231-1/+1
* Version abc60611Alan Mishchenko2006-06-112-4/+39
* Version abc60303Alan Mishchenko2006-03-032-4/+13
* Version abc60220Alan Mishchenko2006-02-202-16/+71
* Version abc60211Alan Mishchenko2006-02-111-1/+3
* Version abc60118Alan Mishchenko2006-01-181-0/+35
* Version abc51126Alan Mishchenko2005-11-262-0/+39
* Version abc51114Alan Mishchenko2005-11-142-6/+6
* Version abc51012Alan Mishchenko2005-10-126-6/+6
* Version abc50910Alan Mishchenko2005-09-101-4/+4
* Version abc50908Alan Mishchenko2005-09-082-4/+4
* Version abc50902Alan Mishchenko2005-09-027-143/+1407
* Version abc50901Alan Mishchenko2005-09-012-0/+392