Commit Graph

28 Commits

Author SHA1 Message Date
Alan Mishchenko a3942996e7 Bug fix in &splitprove. 2023-07-25 12:53:50 -07:00
Alan Mishchenko 76b00a2d3e Compilation problem with pow(). 2018-02-19 09:07:44 -08:00
Alan Mishchenko 609be7a114 C++ compiler typecast problem. 2015-07-08 15:04:26 -07:00
Alan Mishchenko e89fe16b91 Adding silent mode to &splitprove. 2015-03-14 13:22:02 +07:00
Alan Mishchenko dc92f89278 Adding silent mode to &splitprove. 2015-03-14 03:13:05 +07:00
Alan Mishchenko 043cfcd775 Concurrency for Boolean matching. 2014-09-18 11:46:14 -07:00
Alan Mishchenko e2411552eb Experiments with cofactoring variables. 2014-06-20 20:10:14 -07:00
Alan Mishchenko df418d6cba Bug fix in timeout of &splitprove. 2014-06-16 21:52:09 -07:00
Alan Mishchenko 2340d279bd Adding support of multi-output problems in &splitprove. 2014-06-15 22:58:25 -07:00
Alan Mishchenko 3c6def2915 Adding print-out to &splitprove to see impact of cof variable on AIG size. 2014-06-07 13:14:23 -07:00
Alan Mishchenko 2d38fc1608 Adding print-out to &splitprove to see impact of cof variable on AIG size. 2014-06-07 13:04:03 -07:00
Alan Mishchenko 102782a5a1 Adding CEC command &splitprove. 2014-06-04 19:06:18 -07:00
Alan Mishchenko c05aa7a8d2 Adding CEC command &splitprove. 2014-06-04 17:45:15 -07:00
Alan Mishchenko 4875dfcb9b Adding CEC command &splitprove. 2014-06-04 17:31:00 -07:00
Alan Mishchenko ed695b74ee Adding CEC command &splitprove. 2014-06-04 17:10:22 -07:00
Alan Mishchenko 87143c1182 Adding CEC command &splitprove. 2014-06-04 16:50:39 -07:00
Alan Mishchenko 9c4bf6e11d Adding CEC command &splitprove. 2014-06-04 15:08:58 -07:00
Alan Mishchenko b844433a0d Adding CEC command &splitprove. 2014-06-04 15:00:38 -07:00
Alan Mishchenko f2818ddb83 Adding CEC command &splitprove. 2014-06-04 12:00:37 -07:00
Alan Mishchenko 97bd9d8f1b Adding CEC command &splitprove. 2014-06-04 11:40:37 -07:00
Alan Mishchenko d2c3971de0 Adding CEC command &splitprove. 2014-06-04 11:33:49 -07:00
Alan Mishchenko d527f03a27 Adding CEC command &splitprove. 2014-06-04 11:13:40 -07:00
Alan Mishchenko 8075db7a0d Adding CEC command &splitprove. 2014-06-04 10:48:12 -07:00
Alan Mishchenko a8b2024efa Adding CEC command &splitprove. 2014-06-04 10:45:24 -07:00
Alan Mishchenko 83d3cc8837 Adding CEC command &splitprove. 2014-06-04 10:38:27 -07:00
Alan Mishchenko 802377ed4e Adding CEC command &splitprove. 2014-06-02 10:01:07 -07:00
Alan Mishchenko e69854f540 Adding CEC command &splitprove. 2014-06-02 09:55:17 -07:00
Alan Mishchenko 9030f46188 Code to explore cofactors of CEC problems. 2014-06-02 02:22:18 -07:00