PropSat Online see also PropPlan

PropSat is a propositional model-based reasoner. PropPlan onLine allows you to run simple examples.

Problem User defined

FDDL Problem