removing SATPlan and adding conda and sypet

[Benchmarks_CSolver.git] / satPlan2006 / include / Examples / fridge-typed / README

diff --git a/satPlan2006/include/Examples/fridge-typed/README b/satPlan2006/include/Examples/fridge-typed/README
deleted file mode 100644 (file)
index d572004..0000000
--- a/satPlan2006/include/Examples/fridge-typed/README
+++ /dev/null
@@ -1,15 +0,0 @@
-Domain: fridge\r
-Version: fridge-domain-typed\r
-\r
-The same as the domain "fridge-domain-typed" in the\r
-PDDL 1.3 distribution\r
-\r
-       strict-domains/fridge/domain01.pddl\r
-\r
-but with the following changes to the problem files:\r
-       "fridge" was used as a type in the domain file, but\r
-               as a unary predicate in the prob* files.\r
-               This is changed so that fridge is used\r
-               as a type in the problem files as well.\r
-\r
-12 June 1998, Henry Kautz\r