Planner (Logic)

Hello Friends,
I am searching for a planner which can support negation in precondition, initial, and goal state of PDDL descriptions. I have searched some, e,g,, sapareplan_planner.jar, seq-sat-lama. but both have problems with this. Has anyone used or worked with such planner? Would be great if some one can help me finding one! thanks in advance.
safzam