summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaCSat.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* Version abc90714Alan Mishchenko2015-06-221-0/+2
* 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