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

#144 - Added option for removing the object types when writing to file

Pull Request - State: open - Opened by Martin36 about 1 year ago - 4 comments
Labels: contribution

#144 - Added option for removing the object types when writing to file

Pull Request - State: open - Opened by Martin36 about 1 year ago

#143 - [IPC 2023] Issues grounding `labyrinth` benchmark

Issue - State: open - Opened by miquelramirez about 1 year ago
Labels: bug

#142 - Add option for removing typing

Issue - State: closed - Opened by Martin36 about 1 year ago - 2 comments
Labels: in-the-freezer, feature request

#141 - Issue #140 support for existential preconditions

Pull Request - State: closed - Opened by miquelramirez about 2 years ago - 1 comment
Labels: documentation, contribution

#140 - Support for existential preconditions

Issue - State: closed - Opened by TheAeryan about 2 years ago - 7 comments
Labels: bug, in-the-freezer

#139 - Parse PDDL with `oneof`

Issue - State: closed - Opened by hectorpal about 2 years ago - 7 comments
Labels: in-the-freezer, feature request

#137 - Testing a possible fix for pyrddl dependency

Pull Request - State: closed - Opened by gfrances over 2 years ago

#136 - Fix pypi publishing workflow

Pull Request - State: closed - Opened by gfrances over 2 years ago

#135 - Create Release 0.8

Pull Request - State: closed - Opened by gfrances over 2 years ago - 3 comments

#134 - Windows support

Issue - State: closed - Opened by alvalentini over 2 years ago - 1 comment
Labels: feature request

#131 - Bump Up Minimum Python Supported Version to 3.8

Pull Request - State: open - Opened by gfrances over 2 years ago - 1 comment

#130 - Bump Up Minimum Python Supported Version to 3.8

Issue - State: open - Opened by gfrances over 2 years ago

#129 - Support for Durative Actions

Issue - State: closed - Opened by karpase over 2 years ago - 4 comments

#128 - Ci improvements

Pull Request - State: closed - Opened by gfrances over 2 years ago - 1 comment

#127 - Clingo `pypi` ImportError: "DLL load failed"

Issue - State: closed - Opened by anubhav-cs over 2 years ago - 1 comment

#126 - C-level output redirection on windows

Pull Request - State: closed - Opened by anubhav-cs over 2 years ago - 5 comments

#125 - Corrected the name of the WrapperClingo class member

Pull Request - State: closed - Opened by anubhav-cs almost 3 years ago

#124 - Fallback to gringo binary when clingo pypi package is unavailable

Pull Request - State: closed - Opened by anubhav-cs almost 3 years ago

#123 - Switch to clingo pypi package

Pull Request - State: closed - Opened by anubhav-cs almost 3 years ago - 15 comments

#122 - add additional whitespace pruning to atom parsing to fix #121

Pull Request - State: closed - Opened by phoeft670 about 3 years ago

#121 - Atom parsing failes because of whitespace

Issue - State: closed - Opened by phoeft670 about 3 years ago - 2 comments

#120 - Support and testing for equality-atom and if-then-else based RDDL-style boolean interoperability

Pull Request - State: open - Opened by mejrpete over 3 years ago - 2 comments
Labels: enhancement, contribution

#118 - STRIPS Check and Match Tree Implementation

Pull Request - State: open - Opened by haz over 3 years ago - 13 comments

#117 - Match Tree for Action Applicability

Issue - State: closed - Opened by haz over 3 years ago - 1 comment
Labels: feature request

#116 - Use JupyterLite to expose the notebooks on ReadTheDocs

Issue - State: open - Opened by haz over 3 years ago - 1 comment
Labels: enhancement, documentation, feature request

#115 - Fix issue #114

Pull Request - State: closed - Opened by gfrances over 3 years ago - 1 comment

#114 - Bug parsing real constant

Issue - State: closed - Opened by alvalentini over 3 years ago - 9 comments
Labels: bug

#113 - Generated PDDL is missing the object type

Issue - State: closed - Opened by haz over 3 years ago - 17 comments
Labels: bug, contribution

#110 - Added string model parsing in clingo wrapper

Pull Request - State: closed - Opened by camcunningham over 3 years ago - 13 comments

#109 - Added parsing for string problem and domains

Pull Request - State: closed - Opened by camcunningham over 3 years ago - 2 comments

#104 - Test in travis under Python 3.9

Pull Request - State: closed - Opened by gfrances over 3 years ago

#103 - Import psutil conditionally; install it only in Linux platforms

Pull Request - State: closed - Opened by gfrances over 3 years ago - 5 comments

#102 - Remove largely unused support for SDD compilation

Pull Request - State: closed - Opened by gfrances over 3 years ago - 1 comment

#99 - Replace psutil with resource

Pull Request - State: closed - Opened by haz over 3 years ago - 30 comments

#98 - Domain-only parsing

Issue - State: closed - Opened by haz over 3 years ago - 3 comments

#97 - Adds logic to use the correct stdout id on MacOS when environment is "darwin"

Pull Request - State: closed - Opened by mejrpete about 4 years ago - 2 comments

#96 - Implements partial refactor to allow for Boolean & Numeric interop (via `FormulaTerm` wrapper)

Pull Request - State: closed - Opened by mejrpete about 4 years ago - 3 comments
Labels: enhancement, contribution

#95 - Implements partial refactor to allow for Boolean & Numeric interop (via `FormulaTerm` wrapper)

Pull Request - State: closed - Opened by mejrpete about 4 years ago - 5 comments
Labels: enhancement, contribution

#94 - Update license in Readme

Pull Request - State: closed - Opened by hectorpal about 4 years ago - 1 comment

#93 - Sort out overloaded arithmetic symbols

Issue - State: closed - Opened by gfrances about 4 years ago - 2 comments

#92 - Switch from GPLv3 to Apache Software Licence 2.0

Issue - State: closed - Opened by gfrances about 4 years ago - 5 comments

#91 - Boolean-valued fluents and RDDL-style boolean & numeric interoperability

Issue - State: open - Opened by mejrpete over 4 years ago - 37 comments

#90 - General RDDL Improvements & Support

Issue - State: open - Opened by mejrpete over 4 years ago - 3 comments

#88 - Finish implementation of simple evaluator

Issue - State: open - Opened by gfrances over 4 years ago
Labels: enhancement

#87 - Missing documentation of dependencies with `gringo`

Issue - State: closed - Opened by miquelramirez almost 5 years ago
Labels: documentation

#86 - Keep negated static preconditions in logic program for grounding

Issue - State: closed - Opened by abcorrea almost 5 years ago - 10 comments
Labels: enhancement

#85 - Provide reachability analysis for simple FSTRIPS problems

Issue - State: closed - Opened by gfrances almost 5 years ago
Labels: design

#84 - FstripsReader - plan_metric property of problem object returns None

Issue - State: closed - Opened by anubhav-cs almost 5 years ago - 2 comments

#83 - Ignore unused types in LP reachability module

Issue - State: closed - Opened by gfrances almost 5 years ago - 2 comments

#82 - Minor bug in LP reachability module

Issue - State: closed - Opened by gfrances almost 5 years ago
Labels: bug

#81 - Issues introduced by `PySDD` dependency

Issue - State: closed - Opened by miquelramirez almost 5 years ago - 3 comments
Labels: wontfix, documentation, third-party

#80 - Functioning SDD module to compile action schema preconditions to SDDs

Pull Request - State: closed - Opened by gfrances almost 5 years ago

#78 - Error while grounding problem and domain with '(:functions ...)'

Issue - State: closed - Opened by anubhav-cs about 5 years ago - 2 comments
Labels: bug

#77 - corrected the definition of to_conjunctive_normal_form method

Pull Request - State: closed - Opened by anubhav-cs about 5 years ago - 2 comments

#76 - Bug in cnf.py

Issue - State: closed - Opened by anubhav-cs about 5 years ago - 3 comments

#75 - Discussion: formula simplifications and LP relaxation

Issue - State: closed - Opened by gfrances about 5 years ago - 1 comment
Labels: enhancement, discussion

#74 - Handle forall quantifiers in LP-based reachability compiler

Issue - State: closed - Opened by gfrances about 5 years ago - 7 comments
Labels: enhancement

#73 - Error in processing negated preconditions

Issue - State: closed - Opened by anubhav-cs about 5 years ago - 5 comments

#72 - Possible solution to #71

Pull Request - State: closed - Opened by gfrances over 5 years ago - 3 comments

#71 - Creating a barebones FSTRIPS language should not import arithmetic sorts

Issue - State: closed - Opened by gfrances over 5 years ago - 1 comment

#70 - When requiring Python 3.7, switch `OrderedDicts` to `dict`s where possible

Issue - State: closed - Opened by gfrances over 5 years ago
Labels: enhancement, in-the-freezer

#69 - TypeError: unhashable type: 'Constant' in print_instance()

Issue - State: closed - Opened by emilkeyder over 5 years ago - 8 comments

#68 - Mypy integration

Pull Request - State: closed - Opened by gfrances over 5 years ago

#67 - FSTRIPS parser lowercases all symbols

Issue - State: closed - Opened by gfrances over 5 years ago - 3 comments

#66 - Fluent / Static classification fails on Settlers domain

Issue - State: closed - Opened by gfrances over 5 years ago - 1 comment
Labels: bug

#65 - Integrate Tarski with codecov to track progress in test coverage

Pull Request - State: closed - Opened by gfrances over 5 years ago

#64 - Backends: SAS / FDR writer

Issue - State: closed - Opened by gfrances over 5 years ago - 1 comment
Labels: enhancement

#63 - Transformations: Project away non-effect variables

Issue - State: closed - Opened by gfrances over 5 years ago - 4 comments
Labels: enhancement

#62 - Transformations: Compile existential quantifiers away

Issue - State: closed - Opened by gfrances over 5 years ago
Labels: enhancement

#61 - Transformations: Compile function symbols away

Issue - State: closed - Opened by gfrances over 5 years ago - 4 comments
Labels: enhancement

#60 - Get rid of unnecessary "accept" method in visitors

Pull Request - State: closed - Opened by gfrances over 5 years ago - 1 comment

#59 - Change `land` and `lor` to create flat conjunctions / disjunctions

Pull Request - State: closed - Opened by gfrances over 5 years ago - 4 comments
Labels: wontfix

#59 - Change `land` and `lor` to create flat conjunctions / disjunctions

Pull Request - State: closed - Opened by gfrances over 5 years ago - 4 comments
Labels: wontfix

#58 - Implement ASP-based grounding and reachability

Pull Request - State: closed - Opened by gfrances over 5 years ago - 5 comments

#57 - Be consistent in FSTRIPS hierarchy attributes: `symbol`, `name`, `head`

Pull Request - State: closed - Opened by gfrances over 5 years ago - 13 comments
Labels: discussion, design, in-the-freezer

#55 - Implement support for parsing of derived predicates

Issue - State: closed - Opened by gfrances over 5 years ago - 2 comments

#55 - Implement support for parsing of derived predicates

Issue - State: open - Opened by gfrances over 5 years ago - 1 comment

#54 - Release package to Pypi

Issue - State: closed - Opened by gfrances over 5 years ago - 3 comments

#53 - Uniformize Predicate and Function interface

Issue - State: closed - Opened by gfrances over 5 years ago - 6 comments
Labels: enhancement, design

#50 - Merging ```universal--effects``` changes into ```dev-0.2.0```

Pull Request - State: closed - Opened by miquelramirez almost 6 years ago - 1 comment

#49 - Universal and conditional effects

Pull Request - State: closed - Opened by emilkeyder almost 6 years ago - 4 comments

#48 - Clarify use of TaskIndex

Issue - State: closed - Opened by gfrances almost 6 years ago - 8 comments
Labels: discussion

#47 - Discuss how to deal with shadowing of Python built-in function names

Issue - State: closed - Opened by gfrances almost 6 years ago - 5 comments
Labels: discussion

#46 - Implement Some Axiom Inference Algorithm

Issue - State: closed - Opened by gfrances almost 6 years ago - 1 comment
Labels: enhancement

#45 - Provide basic search capabilities

Issue - State: closed - Opened by gfrances almost 6 years ago - 2 comments
Labels: enhancement

#44 - Provide Reachability Analysis Capabilities Through ASP

Issue - State: closed - Opened by gfrances almost 6 years ago - 1 comment
Labels: enhancement

#44 - Provide Reachability Analysis Capabilities Through ASP

Issue - State: closed - Opened by gfrances almost 6 years ago - 1 comment
Labels: enhancement

#42 - Refactor Interpretation / Model Objects

Issue - State: closed - Opened by gfrances almost 6 years ago - 2 comments
Labels: enhancement

#40 - Add derived predicates to tarski

Pull Request - State: closed - Opened by emilkeyder almost 6 years ago - 2 comments

#38 - Add an IncreaseEffect and write the instance metric if set.

Pull Request - State: closed - Opened by emilkeyder almost 6 years ago

#37 - Move ```ite``` function to Arithmetic Theory

Issue - State: closed - Opened by miquelramirez almost 6 years ago - 1 comment
Labels: enhancement, design

#34 - Missing docs for ```TermReference``` and ```FormulaReference```

Issue - State: closed - Opened by miquelramirez almost 6 years ago
Labels: Task

#33 - Update test_syntax.py

Pull Request - State: closed - Opened by miquelramirez almost 6 years ago

#32 - Revert "Emil's changes and fixes"

Pull Request - State: closed - Opened by miquelramirez almost 6 years ago

#29 - PyFS Convergence

Issue - State: closed - Opened by miquelramirez about 6 years ago
Labels: enhancement

#28 - Tutorial

Issue - State: closed - Opened by miquelramirez about 6 years ago - 7 comments
Labels: help wanted