summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaCSat.c
Commit message (Collapse)AuthorAgeFilesLines
* Adding switch to replace proved outputs by const0.Alan Mishchenko2020-12-161-1/+3
|
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-0/+1
|
* Experiments with SAT-based simulation.Alan Mishchenko2018-01-251-6/+37
|
* Experiments with AIG-based simulation.Alan Mishchenko2017-12-051-0/+4
|
* Extracting CSAT interface and several cleanups.Alan Mishchenko2017-11-131-8/+10
|
* Compiler warnings.Alan Mishchenko2017-07-221-1/+1
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-10/+10
|
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-021-3/+3
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-5/+6
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-6/+6
|
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-301-1/+2
|
* initial commit of public abcAlan Mishchenko2010-11-011-1/+6
|
* Version abc90804Alan Mishchenko2015-06-221-3/+3
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90714Alan Mishchenko2015-06-221-0/+2
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90424Alan Mishchenko2009-04-241-1/+7
|
* Version abc90413Alan Mishchenko2009-04-131-2/+8
|
* Version abc90408Alan Mishchenko2009-04-081-0/+3
|
* Version abc90405Alan Mishchenko2009-04-051-152/+345
|
* Version abc90329Alan Mishchenko2009-03-291-0/+886