Alan Mishchenko c6a290ee97 Merged in boschmitt/abc (pull request #26) ...

Fix the problem of not identifying divisors when its originating cubes had only 2 literals.

2016-05-19 23:34:20 -07:00

..

cgt

Synchronizing with the recent version.

2014-03-16 23:38:50 -07:00

csw

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

cut

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

dar

Corner-case bug fix in balancing.

2014-09-08 09:33:11 -07:00

dau

New hierarchical TT NPN matching.

2016-02-26 18:20:57 +08:00

fret

Extending and improving timing manager.

2015-11-08 11:44:37 -08:00

fsim

Replacing Mb/Gb to be MB/GB.

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

fxch

Merged alanmi/abc into default

2016-05-19 22:11:14 -03:00

fxu

Compiler warnings.

2013-10-17 18:04:07 -07:00

lpk

Removed obsolete code for sequential mapping.

2014-04-11 09:17:34 -07:00

mfs

New MFS package.

2013-05-31 00:56:10 -07:00

nwk

Removed obsolete code for sequential mapping.

2014-04-11 09:17:34 -07:00

res

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

ret

Re-doing the same change.

2016-02-15 00:27:27 -08:00

rwr

Compiler warnings.

2014-10-28 23:53:17 -07:00

rwt

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

sfm

Improving SMT-LIB parser.

2016-05-19 22:07:52 -07:00

sim

Bug fix in 'print_supp' (induced bugs in 'bm' and 'bm2').

2015-04-24 14:44:08 -07:00