Commit Graph

8 Commits

Author SHA1 Message Date
mgebser
9ab1ea1c23 improved strips encodings 2017-08-09 12:12:39 +02:00
gebser
1b94053542 revised redundant rules 2017-01-18 10:12:52 +01:00
mgebser
59e95c7097 some refactoring 2017-01-17 17:15:21 +01:00
gebser
664762fdec about to revise encodings 2017-01-17 10:12:37 +01:00
mgebser
1458d93408 more parallel ''exists'' encoding variants 2017-01-16 17:15:19 +01:00
gebser
367f49253e finalizing redundant rules to restrict number of parallel plans 2016-11-15 21:16:01 +01:00
mgebser
6f1a64a705 some restriction of instantiation 2016-11-15 19:34:07 +01:00
mgebser
f12ac1c839 optional redundant rules to reduce the number of parallel plans 2016-11-15 18:57:52 +01:00