Issues

• Operators sharing a SAS name are merged, conjoining their preconditions

  potassco/plasp#14 · Filter by author tempate opened on Sep 4, 2026

• Existential goals in the incremental STRIPS encoding?

  potassco/plasp#13 · Filter by author GoldenZephyr opened on Mar 16, 2026

• make fails: unable to find experimental includes

  potassco/plasp#12 · Filter by author rpgoldman opened on Mar 12, 2026
  2

• Installation/build issues

  potassco/plasp#11 · Filter by author ZimneJonas opened on Feb 13, 2023

• Build Error During Make Command

  potassco/plasp#10 · Filter by author Genco2 opened on May 21, 2022
  4

• Make fails following building steps

  potassco/plasp#8 · Filter by author guilyx opened on Dec 17, 2020
  1