patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Commit Graph

  • 91b2a23c78 Added a sequential, fixed-horizon meta encoding. patrick 2016-11-20 23:52:55 +01:00
  • cbbe942dfd Merge branch 'master' of github.com:potassco/plasp into develop patrick 2016-11-16 23:56:44 +01:00
  • 8bab1e19cb Made readme file sections and documentation more consistent. patrick 2016-11-16 23:53:21 +01:00
  • c80688b241 Changed format of readme file for STRIPS encodings to Markdown. patrick 2016-11-16 23:27:45 +01:00
  • b1e98bd091 README file summarizing functionalities and example invocations gebser 2016-11-15 22:48:24 +01:00
  • 367f49253e finalizing redundant rules to restrict number of parallel plans gebser 2016-11-15 21:16:01 +01:00
  • 6f1a64a705 some restriction of instantiation mgebser 2016-11-15 19:34:07 +01:00
  • f12ac1c839 optional redundant rules to reduce the number of parallel plans mgebser 2016-11-15 18:57:52 +01:00
  • 03c83702ad postprocessing encoding checked gebser 2016-11-15 09:07:36 +01:00
  • e2c38b5459 Merge branch 'master' of ssh://github.com/potassco/plasp mgebser 2016-11-14 18:36:49 +01:00
  • 7f62503237 first version of postprocessing program to check plans and represent them sequentially mgebser 2016-11-14 18:36:01 +01:00
  • e1e9efde25 Added contributor. patrick 2016-11-14 17:11:05 +01:00
  • fb3f847f6a Merge branch 'develop' of github.com:potassco/plasp into develop patrick 2016-11-14 17:10:07 +01:00
  • 888f12d88d completed main parallel planning encodings for STRIPS instances mgebser 2016-11-14 16:56:51 +01:00
  • b8357629a2 started to develop STRIPS encoding variants mgebser 2016-11-14 12:00:14 +01:00
  • 1b56e9ed9b Merge branch 'master' of github.com:potassco/plasp into develop patrick 2016-11-12 18:36:10 +01:00
  • ba63a9fb05 Moved Catch to lib directory. patrick 2016-11-12 18:14:30 +01:00
  • 2585f726c5 Merge branch 'master' of github.com:potassco/plasp into develop patrick 2016-11-04 16:15:42 +01:00
  • dadb1801aa Minor formatting in readme file. Patrick Lühneandpatrick 2016-11-04 16:10:34 +01:00
  • 37732f35dd Merge branch 'develop' of github.com:potassco/plasp into develop patrick 2016-11-04 16:11:26 +01:00
  • 2f6255a4e8 Added contributor. Patrick LühneandGitHub 2016-11-03 18:36:57 +01:00
  • 5d8c143e60 Added Travis target for g++ 6. patrick 2016-10-10 18:22:56 +02:00
  • 0b94e315b4 Added compiler name to Travis configuration. patrick 2016-10-10 20:56:09 +02:00
  • 4a422795d9 Added language specification to Travis configuration. patrick 2016-10-10 20:46:25 +02:00
  • 1a27a21fa1 Added default packages and sources to Travis configuration. patrick 2016-10-10 18:28:59 +02:00
  • bba069599f Merge branch 'develop' of github.com:potassco/plasp into develop patrick 2016-10-10 18:24:05 +02:00
  • ba751f8c35 Added Travis target for g++ 6. patrick 2016-10-10 18:22:56 +02:00
  • 1f7ee57889 Updated building instructions after change to Catch testing framework. patrick 2016-10-08 16:06:37 +02:00
  • d4faaf428c Switched from Google Test to Catch. patrick 2016-10-08 16:03:14 +02:00
  • a163278fb5 Added license file to PKGBUILD for AUR. patrick 2016-10-07 18:41:53 +02:00
  • 1e2573d3e7 Added PKGBUILD for AUR. patrick 2016-10-07 18:29:22 +02:00
  • 5c5f0665e8 Minor formatting. patrick 2016-10-07 16:40:01 +02:00
  • 0ca51236bd Added unique ID to derived predicates for easier translation. patrick 2016-09-09 17:08:31 +02:00
  • a62cc8b3b9 Started implementing derived predicates for decomposing complex PDDL conditions. patrick 2016-09-09 16:42:16 +02:00
  • cc0b9726ed Added to-do. patrick 2016-09-09 13:38:15 +02:00
  • bec63898af Updated change log with newly supported expression types. patrick 2016-09-08 15:59:02 +02:00
  • 9cccba42e0 Implemented parsing conditional effects. patrick 2016-09-08 15:56:30 +02:00
  • 4fc9b35c13 Implemented disjunctive normal form. patrick 2016-09-08 03:42:32 +02:00
  • 34496a7158 Finished implementing the prenex normal form with maximal groups of same-type quantifiers. patrick 2016-09-08 02:40:51 +02:00
  • e0ed145716 Implemented prenex normalization. patrick 2016-09-07 00:34:26 +02:00
  • 2e52357dd2 Allowing universal quantifiers in effect expressions. patrick 2016-09-06 22:36:48 +02:00
  • 104f7165cd Fixed compiler error occurring in debug mode only. patrick 2016-09-06 21:47:03 +02:00
  • edbc8770e3 Testing simplification of nested existential quantifiers. patrick 2016-09-06 18:51:29 +02:00
  • 31068bf89c Implemented simplification of nested quantified expressions. patrick 2016-09-06 18:50:23 +02:00
  • ad6b3d60eb Implemented De Morgan normalization for quantified expressions. patrick 2016-09-06 17:43:47 +02:00
  • bd2ef96216 Added forward declarations for quantified expressions. patrick 2016-09-06 17:41:04 +02:00
  • faa920e1ad Correctly parsing quantified expressions thanks to variable stack. patrick 2016-09-06 17:36:51 +02:00
  • eb28ed3938 Implemented variable stack for parsing nested variable lists (as within quantified expressions). patrick 2016-09-06 17:34:07 +02:00
  • f4f0e07bc1 Started supporting quantified expressions. patrick 2016-09-06 16:57:31 +02:00
  • ca6664feb2 Refactored parsing variable lists to reuse it with quantified expressions. patrick 2016-09-06 16:28:38 +02:00
  • 6f3769f364 Removed unnecessary includes. patrick 2016-09-05 17:05:48 +02:00
  • 0c5936ad38 Noted to-do. patrick 2016-09-05 00:39:12 +02:00
  • 263b611a7b Implemented simplification of directly nested n-ary expressions of the same type. patrick 2016-09-05 00:37:43 +02:00
  • 79d449d0df Renaming to not confuse expression simplification and reduction. patrick 2016-09-05 00:06:09 +02:00
  • dd621fcd5c Minor clean-up. patrick 2016-09-04 23:54:15 +02:00
  • c2af84a800 Removed redundant normalization statement. patrick 2016-09-04 23:52:06 +02:00
  • 3fa7b93d44 Fixed wrong recursive call. patrick 2016-09-04 23:34:20 +02:00
  • 4d72c20d9b Added separate simplification step to normalize in a single recursion. patrick 2016-09-04 23:30:08 +02:00
  • 97ad4268d7 Added second double negation elimination step after normalizing the argument of a “not” expression. patrick 2016-09-04 22:45:37 +02:00
  • ed2d64c1c9 Added debug printing function to facilitate testing expression normalization. patrick 2016-09-04 22:26:17 +02:00
  • c9ecd0c020 Implemented De Morgan’s rules for normalization purposes. patrick 2016-09-04 20:49:22 +02:00
  • 6aaf7c039d Refactored normalization because of recent changes to the pointer usage. patrick 2016-09-04 19:29:05 +02:00
  • 7aa20a5820 Refactored expressions thanks to intrusive pointers. patrick 2016-09-04 18:48:46 +02:00
  • 9afabacde3 Switched to intrusive pointers for much easier maintenance. patrick 2016-09-04 18:26:02 +02:00
  • f10f4ac29c Added back reference expressions to make the expression tree structure simpler. patrick 2016-09-04 14:49:34 +02:00
  • da88a8816c Fixed issue with multiple negations. patrick 2016-09-03 00:25:58 +02:00
  • 63de1891af Fixed missing normalization step of arguments to imply statements and extended test to cover the issue. patrick 2016-09-02 19:25:25 +02:00
  • 23e851ccef Normalizing problems’ goal descriptions. patrick 2016-09-02 18:49:30 +02:00
  • 5f406e6b18 Added support for imply expressions to change log. patrick 2016-09-02 18:46:24 +02:00
  • 9aad139aae Added test covering the removal of implications. patrick 2016-09-02 18:45:00 +02:00
  • 4fb2c331f3 Added dummy expression to check that with removed double negations, expressions are still correctly normalized. patrick 2016-09-02 18:32:13 +02:00
  • 1a96c3ec72 Added test covering removal of double negations. patrick 2016-09-02 18:27:00 +02:00
  • b084a1f727 Implemented removal of double negations. patrick 2016-09-02 18:07:37 +02:00
  • 56ce55677f Started implementing PDDL normalization. patrick 2016-09-02 17:58:00 +02:00
  • c528626fe9 Preparing more general form of PDDL normalization. patrick 2016-09-02 16:39:42 +02:00
  • 8361f3767b Version bump after release 3.0.3. patrick 2016-09-02 15:46:58 +02:00
  • b72a17c190 Version bump for release 3.0.3. v3.0.3 patrick 2016-09-02 15:46:14 +02:00
  • 6842bff04b Removed temporary directory. patrick 2016-09-02 15:45:44 +02:00
  • 6bec233e23 Moved IPC 2000 Elevator example instances to instance directory. patrick 2016-09-02 15:44:33 +02:00
  • 873ccef4ff Moved IPC 2008 OpenStacks example instances to instance directory. patrick 2016-09-02 15:44:12 +02:00
  • 4706d2915f Clarified how to plasp handle updates before executing the test suite. patrick 2016-08-30 18:52:59 +02:00
  • 1d59ad20c1 Merge branch 'develop' of github.com:potassco/plasp into develop patrick 2016-08-30 18:48:40 +02:00
  • b4f7e4f102 Added test case covering unexpected whitespaces in SAS file. patrick 2016-08-30 18:47:12 +02:00
  • e664fe8470 Updated readme file with new location of the meta encoding. patrick 2016-08-30 14:28:29 +02:00
  • 28b9d22a4c Hiding example instances from Linguist. patrick 2016-08-30 13:05:03 +02:00
  • be376a9ffb Hiding mutex group section in output if there are none. patrick 2016-08-30 13:02:00 +02:00
  • 76f8df13fc Fixed parsing issue with unexpected whitespaces in SAS files. patrick 2016-08-30 13:01:22 +02:00
  • 9447912fbf Added a few SAS example instances for testing. patrick 2016-08-29 18:26:59 +02:00
  • 87717606b2 Moved PDDL example instances to subdirectory. patrick 2016-08-29 17:49:57 +02:00
  • 348bc32cef generated some sas files from Rene's PDDL samples - should be deleted later - Torsten Schaub 2016-08-28 21:00:05 +02:00
  • fcdb0b65c2 fixed bug: frame axiom only on true fluents renamed modified by changed (more frequent naming) Torsten Schaub 2016-08-28 20:53:25 +02:00
  • 0fb79d1268 just re-formatting Torsten Schaub 2016-08-26 18:21:33 +02:00
  • 69757e50ac fixed bug in conditional effects - still one test screwing up - Torsten Schaub 2016-08-26 18:00:33 +02:00
  • 06feeab244 Merge branch 'master' of github.com:potassco/plasp into develop patrick 2016-08-26 15:51:07 +02:00
  • 568945c7a8 Fixed incorrect output format of conditional effects with SAS. patrick 2016-08-26 15:50:39 +02:00
  • dd33e47dd9 Fixed minor issues in output format documentation. patrick 2016-08-26 15:42:29 +02:00
  • 7dfe760285 PRELIMINARY version of an encoding for sequential SAS planning featuring: axioms and conditional effects (extending Patrick's basic multi-valued encoding) Torsten Schaub 2016-08-23 18:31:33 +02:00
  • d7b8cec50d simple fixed horizon-based encoding for sequential PDDL planning Torsten Schaub 2016-08-23 11:51:03 +02:00
  • 92f3018b89 first throw at PDDL specifc encoding for sequential planning using Boolean fluents only Torsten Schaub 2016-08-22 22:35:35 +02:00
  • 3806fba9c2 Version bump after release 3.0.2. patrick 2016-08-18 15:56:29 +02:00