*  This file is a component of PropPlan - a model-based planner
 *  Copyright (C) 2000-2007  Michael Paul Fourman
 *  homepages.inf.ed.ac.uk/mfourman/tools/propplan
 *  sourceforge.net/projects/propplan
 *  michael.fourman (AT) gmail.com
 *  This program is free software: you can redistribute it and/or modify
 *  it under the terms of version 3 of the GNU Affero General Public License
 *  as published by the Free Software Foundation.
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  GNU Affero General Public License for more details.
 *  You should have received the file COPYING, a copy of the GNU Affero 
 *  Public License, along with this program.  
 *  If not, see <http://www.gnu.org/licenses/>.
 *  $Id: README,v 1.9 2007/12/31 19:59:23 michaelfourman Exp $

PropPlan is an AI planner.

It is written in Standard ML, but relies on Nick Chapman's C-Interface,
included in the Poly/ML compiler, to access the BuDDy BDD libraries.

sourceforge.net/projects/buddy     BuDDy BDD package
sourceforge.net/projects/polyml    Poly/ML compiler
www.polyml.org                     Poly/ML compiler
www.standardml.org                 ML documentation

The sourceforge propplan repository contains the following directories
src:  source code
doc:  documentation 
dist: distributions

== Getting started ... ==
First edit LOGIC/ml_bind.ml to select which BDD package to use
(Buddy  or Libbdd)

Compile BuDDy libraries into /usr/local/lib/libbdd.dylib 
(or modify location in file BUDDY.ML)
Adjust values for nodesize and cachesize in BUDDYLOGIC.ML if required.

or LIBBDD libraries as shared libraries in libbdd.so 
(set LOAD_LIBRARY_PATH appropriately) (or modify location in LIBBDD.ML)

Install PolyML (normally in  /usr/local/bin/poly)
Bash-3.2$ cd src
Bash-3.2$ make config
bash-3.2$ /usr/local/bin/poly
Poly/ML 5.2 Testing
> PolyML.make "PropPlan";


PropPlan.pp "domain.pddl" ["problem1.pddl",....,"problemn.pddl"];
      Name                    Last modified      Size  Description
COPYING 2007-12-30 08:24 34K src/ 2007-12-31 20:09 -