Task Formalism Files
                           --------------------

This directory contains the demonstration Task Formalism files for the O-Plan
system. The files are as follows:

bbb.tf            Blue Badge in Box Problem

blocks-1.tf       Block stacking using a single operator schema

blocks-2.tf       Block stacking using multiple schemas.

eusat.tf          Simple satellite command and control problem.

house-1.tf        Simple house building problem

house-1-inc-1.tf  Incremental addition to the house-1.tf file

house-2.tf        House building problem involving interactions and
                  alternatives

house-3.tf        Larger house building example
  
house-4.tf        House building problem involving time windows for actions
                  and a start time for the entire plan

house-5.tf        House building problem involving resource limitations
                  versus requirements on the house specification.

m-and-c-1.tf      Missionaries and Cannibals Problem

m-and-c-2.tf      Missionaries and Cannibals Problem using compute conditions

pacifica-1.tf     Pacifica Island Non-combatant Evacuation Operation (NEO)

pacifica-2.tf     Pacifica NEO with time and resources

pacifica-3.tf     Pacifica NEO with rich resource modelling
                  July 1994 Year 2 Demo for O-Plan project.

pacifica-4.tf     Pacifica NEO for demonstrating Command, Planning and Control
                  July 1995 Year 3 Demo for O-Plan project.

space-platform.tf Space platform construction problem

spanner.tf        demonstration of need to have an achieve condition span
                  outside of schema which introduces it for some solutions