41 Commits

Author	SHA1	Message	Date
Alan Mishchenko	01569b8f5f	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc.	2019-03-05 15:57:50 -08:00
Alan Mishchenko	b729c737b5	Adding switch 'clp -o' to reverse initial variable ordering.	2018-06-07 15:53:12 -07:00
Alan Mishchenko	d335ee096e	Standardizing the use of new CNF generator. Adding CNF variable connectivity information.	2017-02-10 11:05:00 -08:00
Mathias Soeken	9ac7b05e2a	Fix compile errors when using namespace with clang.	2016-08-19 13:24:29 +02:00
Alan Mishchenko	7724dfcca2	Windowing for technology mapping.	2016-03-30 21:51:50 -07:00
Alan Mishchenko	de695c9d4c	Better print-out of SOPs. Changing default of 'fx'. Updating 'satclp' to fine prine SOPs.	2016-01-12 11:55:50 -08:00
Alan Mishchenko	71847b9d17	Bug fix in 'satclp'.	2015-11-11 17:17:40 -08:00
Alan Mishchenko	19e4604b1f	Improvements to 'satclp'.	2015-11-09 09:23:39 -08:00
Alan Mishchenko	58c2584e2a	Improvements to 'satclp'.	2015-11-09 08:33:56 -08:00
Alan Mishchenko	e50fc467fd	Improvements to 'satclp' (unfinished).	2015-11-06 13:49:23 -08:00
Alan Mishchenko	dd365cbaf3	Improvements to 'satclp' (unfinished).	2015-11-06 09:05:17 -08:00
Alan Mishchenko	9521d1345b	Improvements to 'satclp'.	2015-10-28 13:44:29 -07:00
Alan Mishchenko	85b1e1cc93	Better logic cone proprocessor for 'satclp' to reduce runtime.	2015-10-25 16:58:53 -07:00
Alan Mishchenko	0b7734ca99	Added switch 'satclp -Z' to control the max size of the cone to work with (fix overlow).	2015-10-25 10:24:57 -07:00
Alan Mishchenko	701565eb7b	Set the default cube limit in 'satclp' to be 0.	2015-10-23 15:44:53 -07:00
Alan Mishchenko	637da8baea	Added switch 'satclp -Z' to control the max size of the cone to work with.	2015-10-23 15:34:49 -07:00
Alan Mishchenko	1332dc419f	Minor tuning in 'satclp'.	2015-10-22 11:45:23 -07:00
Alan Mishchenko	b3f164961c	Corner case bug in 'satclp'.	2015-10-21 09:12:50 -07:00
Alan Mishchenko	69df5462cb	Additional improvements in 'satclp'.	2015-10-18 15:24:12 -07:00
Alan Mishchenko	a2692b70fb	New switch 'satclp -r' to reverse variable order.	2015-10-07 17:35:36 -07:00
Alan Mishchenko	62e5ff900e	Bug fix in 'satclp'.	2015-09-26 08:57:32 -07:00
Alan Mishchenko	b11344b454	Experiments with SAT-based collapsing.	2015-09-04 15:40:53 -07:00
Alan Mishchenko	a207f6c071	Experiments with SAT-based collapsing.	2015-09-04 11:52:27 -07:00
Alan Mishchenko	9ef96ae8a6	Changes to be able to compile ABC without CUDD.	2015-08-24 20:55:07 -07:00
Alan Mishchenko	77d64787e0	Changes to be able to compile ABC without CUDD.	2015-08-24 19:49:18 -07:00
Alan Mishchenko	0dcdbc2a6a	Performance bug fix in 'clp' (different way of removing redundant fanins).	2015-02-19 14:46:06 -08:00
Alan Mishchenko	1d9d6814ee	Enabling ISOP-based minimization in 'collapse' if EXDC is available.	2014-08-04 10:53:08 -07:00
Alan Mishchenko	19c25fd6aa	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
Alan Mishchenko	1c33107cbb	Updating project settings to have simpler include paths.	2012-07-07 20:14:12 -07:00
Alan Mishchenko	3aab724573	Fixing time primtouts throughout the code.	2012-07-07 17:46:54 -07:00
Alan Mishchenko	8014f25f6d	Major restructuring of the code.	2012-01-21 04:30:10 -08:00
Alan Mishchenko	148a786b69	Made abc.h independent of CUDD and Extra.	2011-03-03 12:28:52 -08:00
Alan Mishchenko	6130e39b18	initial commit of public abc	2010-11-01 01:35:04 -07:00
Alan Mishchenko	0c6505a26a	Version abc80130_2	2008-01-30 20:01:00 -08:00
Alan Mishchenko	4d30a1e4f1	Version abc80130	2008-01-30 08:01:00 -08:00
Alan Mishchenko	8eef7f8326	Version abc60220	2006-02-20 08:01:00 -08:00
Alan Mishchenko	e2619aa120	Version abc51012	2005-10-12 08:01:00 -07:00
Alan Mishchenko	d401cfa679	Version abc51005	2005-10-05 08:01:00 -07:00
Alan Mishchenko	0f6eeaea3c	Version abc50913	2005-09-13 08:01:00 -07:00
Alan Mishchenko	1260d20cc0	Version abc50905	2005-09-05 08:01:00 -07:00
Alan Mishchenko	33012d9530	Version abc50904	2005-09-04 08:01:00 -07:00