summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcFx.c
Commit message (Expand)AuthorAgeFilesLines
* Added switch -M to set max size of two-cube divisors to extract (often helps ...Alan Mishchenko2013-05-271-5/+10
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ca...Alan Mishchenko2013-05-111-3/+15
* Enabled switch 'fx -N <num>' to extract a fixed number of divisors.Alan Mishchenko2013-05-091-6/+7
* New fast extract.Alan Mishchenko2013-05-051-17/+71
* New fast extract.Alan Mishchenko2013-05-051-259/+284
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-051-9/+1
* New fast extract.Alan Mishchenko2013-05-051-1/+1
* New fast extract.Alan Mishchenko2013-05-051-209/+541
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+2
* New fast extract.Alan Mishchenko2013-04-271-0/+733