patrikhaslum

I got the CoinMP solver to work by adding CoinMPPath to pulp.cfg.linux (with the same list of libraries as it appears in pulp.cfg.buildout) and editing the paths to the exact...

It appears not to be possible to upload/attach test files here. Instead, they are now included in the inval distribution at http://users.cecs.anu.edu.au/~patrik/pddl/inval.tar.gz (under tests/axioms).

Avoiding the memory leak should not be too difficult: It seems that goal formulas, when deleted, recursively delete their parts, so the NNF conversion just has to make sure it...

Hi Masataro, The blocksworld domain (as per comment in the file) was modified to match the naming convention for the IPC 2000 instances and plans. You're right that the sample...

PS. Should perhaps mention that INVAL is now on github: https://github.com/patrikhaslum/INVAL. The version in the archive linked to above is probably a bit old (though the mismatch between the blocksworld...

You're right, the test case collection was not in the repository! It is now. (I also fixed the blockworld instance and plan.)