24 Commits

Author	SHA1	Message	Date
Alan Mishchenko	ff1fb1757b	Preprocessing for multi-output PLA tables.	2015-01-31 11:10:07 -08:00
Alan Mishchenko	5c0c8e1ae2	Fix PLA reader to correctly report error file numbers.	2014-06-02 17:27:21 -07:00
Alan Mishchenko	8014f25f6d	Major restructuring of the code.	2012-01-21 04:30:10 -08:00
Alan Mishchenko	6c01e8b9f0	Fixed a number of small bugs and memory leaks.	2011-03-27 14:17:12 -07:00
Alan Mishchenko	148a786b69	Made abc.h independent of CUDD and Extra.	2011-03-03 12:28:52 -08:00
Alan Mishchenko	ae4b51351c	Cumulative changes in the last few weeks.	2011-01-13 12:38:59 -08:00
Alan Mishchenko	6130e39b18	initial commit of public abc	2010-11-01 01:35:04 -07:00
Alan Mishchenko	0871bffae3	Version abc90215	2009-02-15 08:01:00 -08:00
Alan Mishchenko	303baf27cf	Version abc80702	2008-07-02 08:01:00 -07:00
Alan Mishchenko	e94ccfd3fb	Version abc80508	2008-05-08 08:01:00 -07:00
Alan Mishchenko	320c429bc4	Version abc80301	2008-03-01 08:01:00 -08: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	4812c90424	Version abc71001	2007-10-01 08:01:00 -07:00
Alan Mishchenko	e54d969161	Version abc70930	2007-09-30 08:01:00 -07:00
Alan Mishchenko	d6804597a3	Version abc70624	2007-06-24 08:01:00 -07:00
Alan Mishchenko	77d7377442	Version abc60211	2006-02-11 08:01:00 -08:00
Alan Mishchenko	e2619aa120	Version abc51012	2005-10-12 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	9093ca5320	Version abc50824	2005-08-24 08:01:00 -07:00
Alan Mishchenko	9b3fa55b8a	Version abc50814	2005-08-14 08:01:00 -07:00
Alan Mishchenko	80983617b3	Version abc50812	2005-08-12 08:01:00 -07:00
Alan Mishchenko	273ba03041	Version abc50809	2005-08-09 08:01:00 -07:00