summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaCSat2.c
Commit message (Expand)AuthorAgeFilesLines
* Improving simulation patterns by local search.Alan Mishchenko2020-04-171-0/+3
* Improvements to circuit based solver.Alan Mishchenko2018-02-201-33/+81
* Improvements to circuit based solver.Alan Mishchenko2018-02-171-193/+490
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-26/+225
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-132/+94
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-31/+38
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-130/+161
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-0/+1132
* Version abc90329Alan Mishchenko2009-03-291-745/+0
* Version abc90315Alan Mishchenko2009-03-151-0/+745