issues
search
aig-upf
/
fs-private
This is the private version of the FS planner repository
GNU General Public License v3.0
5
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
PyFs Arithmetic Theory Support
#127
miquelramirez
opened
5 years ago
0
Monotonic v2 ipc bugfix2
#126
gfrances
closed
6 years ago
2
IPC 2018 Bugfix: constant objects not correctly treated by ASP preprocessor
#125
gfrances
closed
6 years ago
3
ASP Parser
#124
miquelramirez
closed
6 years ago
0
ASP Parser fails on preconditions such as (= ?x ?x)
#123
gfrances
closed
6 years ago
9
ASP Parser: Bugfixes
#122
miquelramirez
closed
6 years ago
4
ASP parser with only 1 quantified variable
#121
jsego
closed
4 years ago
3
Removed extraneous lower case conversion
#120
miquelramirez
closed
6 years ago
0
ANTLR Grammar
#119
gfrances
closed
6 years ago
4
Hybrid Documentation
#118
miquelramirez
closed
6 years ago
0
Commands about download planner and related dependencies
#117
jsego
opened
6 years ago
4
The ASP Parser fails to accept functions without explicit type declaration
#116
gfrances
closed
6 years ago
1
Docs & example update
#115
miquelramirez
closed
6 years ago
0
Bug with grounding of atoms detected as static by reachability analysis
#114
gfrances
opened
6 years ago
16
Subtle bug in ASP Parser
#113
gfrances
closed
6 years ago
5
Small typo in Hybrid.md
#112
ssardina
closed
6 years ago
1
AGV example
#111
miquelramirez
closed
6 years ago
0
ImportError: No module named 'python.parser.f_pddl_plus.fstrips.FunctionalStripsParser'
#110
ssardina
closed
6 years ago
6
Branch v2 compile issue with GECODE: error: ‘BOOL_VAR_NONE’ is not a member of ‘Gecode’
#109
ssardina
closed
6 years ago
2
Branch v2: cannot find headers from LAPKT
#108
ssardina
closed
6 years ago
2
Issues in master with LAPTK at compile time
#107
ssardina
closed
6 years ago
3
Usability (at least for v2 branch)
#106
hstairs
closed
6 years ago
4
Fix hashing of Term and Formula subclasses
#105
gfrances
opened
6 years ago
0
Anytime SBFWS residual code expunged
#104
miquelramirez
closed
6 years ago
0
LeCunn Navigation task
#103
miquelramirez
closed
6 years ago
0
Build System, Metric Cost Functions Support, Documentation
#102
miquelramirez
closed
6 years ago
0
Non-goal states detected as goal states
#101
gfrances
closed
6 years ago
1
includes needed to compile with g++7.1
#100
nirlipo
closed
6 years ago
2
Update installation.md
#99
nirlipo
closed
6 years ago
1
Enabled Continuous Transitions & Docs
#98
miquelramirez
closed
6 years ago
0
Fixed confusion re Gecode versions
#97
miquelramirez
closed
6 years ago
0
Merge iw_run and mv_iw_run back
#96
gfrances
opened
6 years ago
1
Syncing with Version 2.0
#95
miquelramirez
closed
6 years ago
2
LAPKT-private or LAPKT-public
#94
nirlipo
closed
6 years ago
8
Slowly decoupling core from hybrid...
#93
gfrances
closed
4 years ago
4
Bfws v1.0 beta5
#92
miquelramirez
closed
6 years ago
0
Refactoring Code Structure
#91
gfrances
closed
6 years ago
32
August and September Update
#90
miquelramirez
closed
7 years ago
10
Merged _gmp branch and other fixes
#89
miquelramirez
closed
7 years ago
0
Multi-valued IW Run (WIP) & Relational Operators and object_t
#88
miquelramirez
closed
7 years ago
5
Bfws v1.0 beta5
#87
miquelramirez
closed
7 years ago
0
Static Extension Loading
#86
miquelramirez
closed
7 years ago
0
Relational Operators and Deserialization
#85
miquelramirez
closed
7 years ago
0
Handling Constants
#84
miquelramirez
closed
7 years ago
2
Nananananana Batman!
#83
miquelramirez
closed
7 years ago
0
bfws-v1.0-beta-4 compilation errors
#82
miquelramirez
closed
7 years ago
1
Specialize for Classic STRIPS Operators
#81
gfrances
opened
7 years ago
2
ASP Grounder Regressions
#80
miquelramirez
closed
7 years ago
0
ASP Grounder Fixes
#79
miquelramirez
closed
7 years ago
0
Refactor the code to facilitate programmatic creation of problems
#78
gfrances
opened
7 years ago
0
Next