Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aig-upf/tarski issues and pull requests
#26 - Keeping Parser Files in the Repository
Issue -
State: closed - Opened by miquelramirez about 6 years ago
- 3 comments
Labels: Task
#22 - FSTRIPS Language: Change Syntax for External Procedures
Issue -
State: closed - Opened by gfrances over 6 years ago
- 8 comments
Labels: design
#20 - Implement Simple Validation Routines
Issue -
State: closed - Opened by gfrances over 6 years ago
#19 - ASP Parser - are equal / not_equal predicates necessary?
Issue -
State: closed - Opened by gfrances over 6 years ago
- 2 comments
#17 - Implement PDDL-like parsing
Issue -
State: closed - Opened by miquelramirez over 6 years ago
- 13 comments
Labels: enhancement
#17 - Implement PDDL-like parsing
Issue -
State: closed - Opened by miquelramirez over 6 years ago
- 13 comments
Labels: enhancement
#16 - Implement Grounding via compilation into ASP
Issue -
State: closed - Opened by miquelramirez over 6 years ago
- 1 comment
Labels: enhancement
#16 - Implement Grounding via compilation into ASP
Issue -
State: closed - Opened by miquelramirez over 6 years ago
- 1 comment
Labels: enhancement
#13 - The status of Externally Defined Formulas
Issue -
State: closed - Opened by miquelramirez almost 7 years ago
- 2 comments
Labels: discussion, design
#12 - The status of Axiomatic Formulas
Issue -
State: closed - Opened by miquelramirez almost 7 years ago
- 8 comments
Labels: discussion, design
#5 - Implement Writers and Readers
Issue -
State: closed - Opened by gfrances almost 7 years ago
- 10 comments
Labels: enhancement
#4 - Implement Algebraic Data Types for Tarski
Issue -
State: closed - Opened by gfrances almost 7 years ago
- 1 comment
Labels: enhancement