issues
search
ssardina-research
/
app-trapper
Software for IJCAI17 paper on solving APP with dead-end reasoning
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Is this fix correct?
#12
ssardina
opened
3 years ago
2
char *x vs char (*x)[500] warning
#11
ssardina
closed
3 years ago
2
Understand Trapper-based solvers using LPG
#10
ssardina
opened
3 years ago
2
Clean up offline
#9
ssardina
closed
3 years ago
0
Improve example
#8
ssardina
closed
3 years ago
10
Error due to LPG option `-same_object`
#7
ssardina
closed
3 years ago
8
Fix/4/compile error
#6
ssardina
closed
3 years ago
0
Remove the `j`? is it safe ?
#5
ssardina
closed
3 years ago
3
Make online compile error
#4
ssardina
closed
3 years ago
6
Clean-up repo and do documentation
#3
ssardina
closed
3 years ago
13
Not running with lpg option
#2
ssardina
closed
3 years ago
4
Which file: main.c or main-trap.c?
#1
ssardina
closed
3 years ago
9