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

ASP parser with only 1 quantified variable #121

Closed jsego closed 4 years ago

jsego commented 6 years ago

As the titles says, ASP only parses foralls with 1 quantified variable which does not work with our compilation sometimes, requiring multiple variables of different types.

miquelramirez commented 6 years ago

Hello @jsego ,

I fixed this issue with the parser, so it now accepts quantifiers mentioning several variables. Unfortunately, this has exposed another issue in the LP compilation... I have no idea of an ETA on when we'll be able to provide a fix for that. @gfrances and me are looking forward to revisit that component of the planner soon, but that can mean "in a couple weeks time at least".

You can use the default parser in the meantime, that should help you test BFWS and co. on your programs, just ignore the runtime due to grounding :-)

miquelramirez commented 6 years ago

@gfrances I have left the PR #122 open until the issue with the grounder is correctly identified and fixed.

gfrances commented 4 years ago

This has been long fixed, let me close the issue!