Reported by Patrik.
The translator fails on the attached problem:
$ ./translate.py problem.pddl
Parsing... [0.010s CPU, 0.014s wall-clock]
Instantiating...
Normalizing task... [0.000s CPU, 0.000s wall-clock]
Generating Datalog program... [0.000s CPU, 0.000s wall-clock]
Normalizing Datalog program...
Duplicate arguments: Adding equality conditions.
Normalizing Datalog program: [0.000s CPU, 0.005s wall-clock]
Preparing model... [0.000s CPU, 0.002s wall-clock]
Generated 58 rules.
Computing model... [0.150s CPU, 0.148s wall-clock]
1782 relevant atoms
1210 auxiliary atoms
2992 final queue length
29392 total queue pushes
Completing instantiation... [0.540s CPU, 0.542s wall-clock]
Instantiating: [0.690s CPU, 0.700s wall-clock]
Computing fact groups...
Finding invariants... 7 initial candidates
[0.000s CPU, 0.002s wall-clock]
Checking invariant weight... [0.000s CPU, 0.000s wall-clock]
Instantiating groups... [0.000s CPU, 0.000s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
285 uncovered facts
Choosing groups: [0.000s CPU, 0.000s wall-clock]
Building translation key... [0.000s CPU, 0.001s wall-clock]
Computing fact groups: [0.000s CPU, 0.003s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.001s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.007s wall-clock]
Traceback (most recent call last):
File "./translate.py", line 592, in <module>
sas_task = pddl_to_sas(task)
File "./translate.py", line 460, in pddl_to_sas
implied_facts)
File "./translate.py", line 370, in translate_task
actions, axioms, goals)
File "/home/helmert/tmp/downward/master/src/translate/axiom_rules.py", line
14, in handle_axioms
axioms = compute_negative_axioms(axioms_by_atom, axiom_literals)
File "/home/helmert/tmp/downward/master/src/translate/axiom_rules.py", line
161, in compute_negative_axioms
new_axioms += negate(axioms_by_atom[literal.positive()])
File "/home/helmert/tmp/downward/master/src/translate/axiom_rules.py", line
171, in negate
assert len(condition) > 0, "Negated axiom impossible; cannot deal with that"
AssertionError: Negated axiom impossible; cannot deal with that
|