Fred Douglis

I have a related question. I was unaware before seeing this that SMTPlan doesn't support minimizing a metric (though perhaps that has been added since -- it doesn't complain, anyway,...

I noticed this as well. I wanted to get into the SMTPlan source to try and debug the problem I raised in #22 but I gave up when I couldn't...

Let me add to this a specific example of why I think this is buggy. If I run with debugging, I get this: ``` smtplan domain-bug.pddl problem-bug.pddl -d -v Grounded:...

Here is a [gist](https://gist.github.com/fdouglis/dda2c3ee9bcb848b1b7379938d15942a) with an updated version of the problem -- same result with all being selected in parallel. But here we can see that it's not that it's...