Contingent-FF solver This package contains a plan solver that uses Contingent-FF for solving PDDL plans. The contingent-FF source code was aquired from https://fai.cs.uni-saarland.de/hoffmann/cff.html