idrave FOND-ASP issues - Githubissues

idrave / FOND-ASP

5 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Solver incorrectly identifies some problems as UNSATISFIABLE

#38 Src2Yuan opened 2 weeks ago
0
Guidance on modifications to obtain all satisfying models/solutions

#37 Src2Yuan closed 2 weeks ago
1
Make `-single-shot` optional

#36 ssardina opened 2 years ago
0
Align core solver with paper better

#34 ssardina closed 2 years ago
3
Add option to print policy only

#33 ssardina opened 2 years ago
0
Stdout encode part empty?

#32 ssardina opened 3 years ago
2
Duplicate types

#31 ssardina opened 3 years ago
0
Explain stats in readme

#28 ssardina closed 3 years ago
1
Allow human metrics in `-memout`

#26 ssardina closed 3 years ago
0
Issue with ordering of types...

#24 ssardina closed 3 years ago
11
Leave pre-processing stdout in a file

#23 ssardina opened 3 years ago
5
Speed API vs CLI: just a note

#22 ssardina closed 3 years ago
3
Problem with parsing ASP output?

#21 ssardina closed 3 years ago
15
Buggy example: USAT should be SAT?

#20 ssardina closed 3 years ago
3
Breaks parsing file: grounding of actions

#19 ssardina closed 3 years ago
12
Fix/17/crashes profile

#18 ssardina closed 3 years ago
1
Crash with new clingo 5.5.0

#17 ssardina closed 3 years ago
8
Setup system out of sync?

#16 ssardina closed 3 years ago
4
Timing: wall or process?

#15 ssardina closed 3 years ago
6
Factored out code for better reuse among variants - Progresses #9

#13 ssardina closed 3 years ago
0
DualFondQnpPlanner(Planner) y old/

#12 ssardina closed 3 years ago
5
How to use the project module?

#11 ssardina closed 3 years ago
3
Enable discussions in GitHub?

#10 ssardina closed 3 years ago
1
fondplus_show.lp vs fondplus.lp

#9 ssardina closed 3 years ago
3
Missing solver planner_clingo/planner_v2_2.lp

#8 ssardina closed 3 years ago
2
is option `-out` mandatory?

#7 ssardina closed 3 years ago
2
Queremos TOC?

#6 ssardina closed 3 years ago
2
Own variation of the planner?

#5 ssardina closed 3 years ago
14
Address TODO in README

#4 ssardina closed 3 years ago
1
Fairness sets

#3 ssardina closed 3 years ago
4
Explain how to run standard FOND problems

#2 ssardina closed 3 years ago
5
Add pipenv environment doc and file

#1 ssardina closed 3 years ago
0