David Greenspan
3281ac7d9e
Add Logic.and; fix formula generation
...
We weren’t generating formulas when they were used by other formulas. When we generate a clause for a formula, like “A v B v -$or1”, we need to only suppress formula generation for the -$or1 term, not the entire clause. This matters when A and B are formula vars (eg “$and1 v $and2 v -$or1”).
2015-01-21 11:56:21 -08:00
..
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 10:25:22 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 10:25:22 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 10:25:22 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-21 11:02:09 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 10:25:22 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 18:03:40 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 10:25:22 -08:00
2014-12-09 20:18:31 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2015-01-21 11:02:09 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 10:25:22 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 10:25:22 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 22:47:25 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-21 11:02:09 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-21 11:56:21 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-13 13:53:22 -08:00
2015-01-20 18:03:40 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2014-12-22 16:52:44 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 11:34:07 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 18:03:40 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 17:45:03 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 10:25:22 -08:00
2015-01-12 14:06:29 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 10:25:22 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 10:25:22 -08:00
2015-01-20 12:21:35 -08:00
2015-01-21 11:02:09 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 10:25:22 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 12:21:35 -08:00
2015-01-20 10:25:22 -08:00
2014-12-19 10:31:59 -08:00
2014-12-19 10:31:59 -08:00
2015-01-20 22:47:25 -08:00
2012-04-17 20:02:00 -07:00