Alan Mishchenko c54da1e990 Corner case bug fix in &sat -a.

2020-03-18 19:00:29 -07:00

..

cec.c

Removed unused files from the project.

2012-07-25 12:42:25 -07:00

cec.h

Adding &sat -x to save CEXes for multi-output combinational miters.

2018-05-06 22:13:18 -07:00

cecCec.c

Adding switch &w -n to modify the comment section of the AIGER file written.

2018-11-21 13:12:01 -08:00

cecChoice.c

Unifying representation of mapping in GIA.

2013-06-25 23:05:51 -07:00

cecClass.c

Renamed reference counting APIs in GIA package.

2012-10-02 20:20:46 -07:00

cecCore.c

Adding switch &w -n to modify the comment section of the AIGER file written.

2018-11-21 13:12:01 -08:00

cecCorr.c

Passing names in &scorr.

2019-02-18 18:25:08 -08:00

cecInt.h

Adding new command 'dump_equiv'.

2016-07-21 16:40:56 -07:00

cecIso.c

Silencing some of the gcc warnings.

2012-02-17 00:06:39 -08:00

cecMan.c

Replacing Mb/Gb to be MB/GB.

2012-07-09 22:57:03 -07:00

cecPat.c

Enabling circuit solver in &fraig.

2014-08-12 18:54:43 -07:00

cecSat.c

Cleanup of SAT sweeping code.

2019-06-30 14:07:14 +03:00

cecSatG.c

Profiling quantification and other changes.

2017-11-06 22:08:54 -08:00

cecSeq.c

Adding switch &w -n to modify the comment section of the AIGER file written.

2018-11-21 13:12:01 -08:00

cecSim.c

Major restructuring of the code.

2012-01-21 04:30:10 -08:00

cecSimBack.c

Experiments with simulation.

2017-02-14 20:26:43 -08:00

cecSolve.c

Corner case bug fix in &sat -a.

2020-03-18 19:00:29 -07:00

cecSplit.c

Compilation problem with pow().

2018-02-19 09:07:44 -08:00

cecSweep.c

Bug fix in &fraig -L <num>.

2014-08-12 16:20:03 -07:00

cecSynth.c

Adding switch &w -n to modify the comment section of the AIGER file written.

2018-11-21 13:12:01 -08:00

module.make

Enabling Glucose in SAT sweeping: &fraig -g.

2017-09-18 09:37:20 -07:00