David Greenspan
5810fd6c81
Prevent stack overflow in logic-solver
...
Turn recursive addClauses->useFormulaTerm->addClauses into iterative.
Also do a couple tweaks that seem to improve performance.
The "stack overflow bug" case is now hovering around 10-20 seconds.
(It's a failure case, but it sure takes a while to fail.)
2015-03-09 22:20:34 -07:00
..
2015-02-24 21:16:41 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-23 21:51:27 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-16 15:25:25 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-26 19:01:30 -08:00
2015-01-21 14:03:55 -08:00
2015-02-24 21:16:41 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-20 22:34:24 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-03-09 22:20:34 -07:00
2015-02-26 11:48:47 -08:00
2014-12-09 20:18:31 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-24 21:16:41 -08:00
2015-01-21 14:03:55 -08:00
2015-02-09 21:57:39 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-17 18:39:20 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-04 13:56:54 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-24 21:16:41 -08:00
2015-02-09 21:57:39 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-24 21:16:41 -08:00
2015-03-09 22:20:34 -07:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-24 21:16:41 -08:00
2015-01-21 14:03:55 -08:00
2015-02-16 15:39:18 -08:00
2015-03-02 19:17:40 -08:00
2015-01-21 14:03:55 -08:00
2015-02-09 21:57:39 -08:00
2015-02-09 13:23:24 -08:00
2015-02-24 21:16:41 -08:00
2015-02-27 12:00:25 -08:00
2015-01-21 14:03:55 -08:00
2015-01-20 22:34:18 -08:00
2015-02-24 21:16:41 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-25 14:40:43 -08:00
2015-02-04 14:41:12 -08:00
2015-01-21 14:03:55 -08:00
2015-03-02 19:17:40 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-24 21:16:41 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-24 21:16:41 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-13 11:30:46 -08:00
2015-02-27 11:44:04 -08:00
2015-02-11 18:10:33 -08:00
2015-02-09 21:57:39 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-04 15:50:31 -08:00
2015-02-24 18:02:21 -08:00
2015-02-09 21:57:39 -08:00
2015-02-09 21:57:39 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-25 15:06:52 -08:00
2015-02-26 18:45:13 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-17 18:01:01 -08:00
2015-01-21 14:03:55 -08:00
2015-01-21 14:03:55 -08:00
2015-02-04 14:41:12 -08:00
2012-04-17 20:02:00 -07:00