GitHub repository: ronuchit/FastDownward
Primary language: Python
Description: Slightly modified version of FastDownward to toggle negative axioms