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)
                  (demonstrates the AutoCAD Interface)

pacifica-2.tf     Pacifica NEO with time and resources
                  (demonstrates the AutoCAD Interface)

pacifica-3.tf     Pacifica NEO with rich rresource modelling
                  (demonstrates the AutoCAD Interface)

pacifica-4.tf     Pacifica NEO for demonstrating Command, Planning and Control
                  (demonstrates the AutoCAD Interface)

space-platform.tf Space platform construction problem (demonstrates the 
                  AutoCAD Interface)

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

 Name                           Last modified      Size  Description
 README                         1999-11-12 10:06  1.8K  
 add-action-test.tf             1999-11-12 10:06  2.9K  
 bbb.tf                         1999-11-12 10:06  2.5K  
 blocks-1.tf                    1999-11-12 10:06  5.3K  
 blocks-2.tf                    1999-11-12 10:06  3.9K  
 blocks-3.tf                    1999-11-12 10:06  3.9K  
 ginsberg.tf                    1999-11-12 10:06  3.9K  
 blocks-4.tf                    1999-11-12 10:06  2.6K  
 eusat.tf                       1999-11-12 10:06   23K  
 hardy-software-development.tf  1999-11-12 10:06  8.7K  
 hardy-software-manage-added.tf 1999-11-12 10:06  9.5K  
 hardy-software-manage.tf       1999-11-12 10:06  8.7K  
 hardy-task-columbus.tf         1999-11-12 10:06  886   
 hardy-task.tf                  1999-11-12 10:06  886   
 pacifica-1-hardy-task.tf       1999-11-12 10:06  886   
 house-1-inc-1.tf               1999-11-12 10:06  2.9K  
 house-1.tf                     1999-11-12 10:06  7.4K  
 house-2.tf                     1999-11-12 10:06  9.2K  
 house-3.tf                     1999-11-12 10:06   10K  
 house-4.tf                     1999-11-12 10:06  9.5K  
 house-5-inc-1.tf               1999-11-12 10:06  502   
 house-5.tf                     1999-11-12 10:06  6.1K  
 island-rescue-1a.tf            1999-11-12 10:06  6.7K  
 m-and-c-1.tf                   1999-11-12 10:06  8.6K  
 m-and-c-2.tf                   1999-11-12 10:06  7.0K  
 pacifica-1-columbus.tf         1999-11-12 10:06  1.1K  
 pacifica-1.tf                  1999-11-12 10:06  8.9K  
 pacifica-1-gt3.tf              1999-11-12 10:06  9.0K  
 pacifica-2.tf                  1999-11-12 10:06   12K  
 pacifica-3.tf                  1999-11-12 10:06   24K  
 pacifica-4.tf                  1999-11-12 10:06   12K  
 pacifica-mip.tf                1999-11-12 10:06   12K  
 software-development.tf        1999-11-12 10:06   18K  
 space-platform-unsuper.tf      1999-11-12 10:06   11K  
 space-platform.tf              1999-11-12 10:06   11K  
 spanner.tf                     1999-11-12 10:06  3.5K