summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcCascade.c
Commit message (Expand)AuthorAgeFilesLines
* Adding switch 'clp -o' to reverse initial variable ordering.Alan Mishchenko2018-06-071-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-0/+11
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-291-2/+2
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-3/+3
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-6/+7
* C++ compilation fixes.Alan Mishchenko2011-03-271-1/+1
* Exploration of Sasao's decomposition and minor improvements.Alan Mishchenko2011-03-111-21/+783
* Mffc-based structural decomposition of the network and bug fixes in reorderin...Alan Mishchenko2011-03-081-3/+7
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-031-2/+2
* initial commit of public abcAlan Mishchenko2010-11-011-0/+284