Here are some resources relating to LPSAT which I have made
available. I hope to have all the code for the system up some time in
The LPSAT system
Test problems with metric constraints
Here is a set of problems in a metricized version of the logistics
domain that I used to test LPSAT (along with the domain):
I occasionally receive mail from people who use LPSAT in their work.
I strongly recommend reading up on Drew McDermott's PDDL
language (the basis for LPSAT's input language), Robert Bayardo's RelSAT
system (the basis for LPSAT's SAT solver), and Greg
Badros's Cassowary system (the basis for LPSAT's LP solver) for
Sadly, I haven't usually asked for links to their results, but I'm
asking now! Drop me a line if you use LPSAT, and I'll post a link
- TM-LPSAT, a temporal
metric planner that uses LPSAT, by Ji-Ae Shin.