summaryrefslogtreecommitdiffstats
path: root/src/aig/fra/fraCec.c
Commit message (Expand)AuthorAgeFilesLines
* Major restructuring of the code.Alan Mishchenko2012-01-211-516/+0
* Removing debug print-outs from the SAT solver.Alan Mishchenko2012-01-171-2/+2
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-221-1/+1
* Fixed a bug in matching code.Alan Mishchenko2011-12-171-1/+1
* Changes to the main SAT solver: fixing performance bug (resetting decay param...Alan Mishchenko2011-12-091-1/+1
* Proof-logging in the updated solver.Alan Mishchenko2011-12-041-2/+2
* Previusly forgotten debug printout.Alan Mishchenko2011-12-021-1/+1
* Started experiments with a new solver.Alan Mishchenko2011-11-251-82/+195
* initial commit of public abcAlan Mishchenko2010-11-011-5/+11
* Version abc90408Alan Mishchenko2009-04-081-2/+2
* Version abc90215Alan Mishchenko2009-02-151-18/+18
* Version abc81029Alan Mishchenko2008-10-291-1/+1
* Version abc81025Alan Mishchenko2008-10-251-0/+4
* Version abc80910Alan Mishchenko2008-09-101-8/+8
* Version abc80721Alan Mishchenko2008-07-211-1/+1
* Version abc80705Alan Mishchenko2008-07-051-8/+27
* Version abc80610Alan Mishchenko2008-06-101-8/+11
* Version abc80508Alan Mishchenko2008-05-081-3/+5
* Version abc80403_2Alan Mishchenko2008-04-031-9/+21
* Version abc80403Alan Mishchenko2008-04-031-1/+1
* Version abc80330Alan Mishchenko2008-03-301-2/+56
* Version abc80130_2Alan Mishchenko2008-01-301-0/+303
* Version abc80130Alan Mishchenko2008-01-301-303/+0
* Version abc71208Alan Mishchenko2007-12-081-1/+1
* Version abc71001Alan Mishchenko2007-10-011-0/+303
* Version abc70930Alan Mishchenko2007-09-301-48/+0
* Version abc70817Alan Mishchenko2007-08-171-0/+48
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 15:22:43 +0000