summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcIvy.c
Commit message (Expand)AuthorAgeFilesLines
* Disable cube-sort when deriving SOPs.Alan Mishchenko2021-05-111-2/+2
* Dumping BDD variable order after 'clp'.Alan Mishchenko2020-05-181-1/+1
* Several recent bug fixes.Alan Mishchenko2018-11-041-0/+1
* 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/+5
* Propagating changes after updating flag of 'sop'.Alan Mishchenko2015-02-191-2/+2
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-2/+2
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-13/+13
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-091-2/+2
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-8/+8
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-7/+8
* Started experiments with a new solver.Alan Mishchenko2011-11-251-3/+3
* Updated 'iprove' to generate seq CEX when CEC fails.Alan Mishchenko2011-06-251-2/+1
* Improvements to CEC command iprove.Alan Mishchenko2011-02-181-2/+20
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-1/+1
* initial commit of public abcAlan Mishchenko2010-11-011-15/+37
* Version abc90804Alan Mishchenko2015-06-221-1/+1
* Version abc90329Alan Mishchenko2009-03-291-6/+6
* Version abc90215Alan Mishchenko2009-02-151-7/+7
* Version abc80702Alan Mishchenko2008-07-021-3/+2
* Version abc80130_2Alan Mishchenko2008-01-301-0/+1105
* Version abc80130Alan Mishchenko2008-01-301-1105/+0
* Version abc71001Alan Mishchenko2007-10-011-0/+1105
* Version abc70930Alan Mishchenko2007-09-301-1101/+0
* Version abc70428Alan Mishchenko2007-04-281-0/+2
* Version abc70328Alan Mishchenko2007-03-281-1/+1
* Version abc70219Alan Mishchenko2007-02-191-14/+14
* Version abc70216Alan Mishchenko2007-02-161-2/+2
* Version abc70202Alan Mishchenko2007-02-021-1/+27
* Version abc70123Alan Mishchenko2007-01-231-1/+1
* Version abc70115Alan Mishchenko2007-01-151-1/+1
* Version abc70110Alan Mishchenko2007-01-101-8/+66
* Version abc61122Alan Mishchenko2006-11-221-4/+17
* Version abc61111Alan Mishchenko2006-11-111-6/+7
* Version abc61102Alan Mishchenko2006-11-021-17/+18
* Version abc61007Alan Mishchenko2006-10-071-14/+69
* Version abc60920Alan Mishchenko2006-09-201-1/+60
* Version abc60916Alan Mishchenko2006-09-161-2/+54
* Version abc60909Alan Mishchenko2006-09-091-1/+1
* Version abc60824Alan Mishchenko2006-08-241-2/+7
* Version abc60822Alan Mishchenko2006-08-221-8/+8
* Version abc60820Alan Mishchenko2006-08-201-22/+47
* Version abc60812Alan Mishchenko2006-08-121-3/+34
* Version abc60804Alan Mishchenko2006-08-041-2/+4
* Version abc60803Alan Mishchenko2006-08-031-12/+41
* Version abc60723Alan Mishchenko2006-07-231-30/+348
* Version abc60701Alan Mishchenko2006-07-011-8/+23
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-29 00:27:11 +0000