Chris Thiel <cthiel@cse.unl.edu>
2008-02-29
CSCE 821


The parser for this program was made available by Olivier Roussel from
http://www.cril.univ-artois.fr/~roussel/CSP-XML-parser/.  The parser
code is in the `XMPParser' directory.

The code for the solver is in the `Solver' directory.  The new Solver
data-structures are in the files `Solver.h' and `Solver.cc'.

Instructions for building the solver:

  ./configure
  make

This will build the targets `csp-load' and `csp-solve.  The `csp-load'
program demonstrates loading a problem into the solver data-structures
(homework 1).  The `csp-solve' program demonstrates solving a problem.
To run the solver type:

  ./csp-solve XMLFILE

It will first find at most one solution using three different variable
value orderings: least-domain (LD), largest future degree (DEG), and
domain-degree ratio (DDR) both with and without dynamic variable
ordering.  Dynamic variable ordering is indicated by suffixing the
variable ordering algorithm with `-d', so `DDR-d' means DDR with
dynamic variable ordering.  Then it will find all solutions, again
with each of the value orderings.

To run the solver on all problems in the `problems/csce821' directory,
type

  make solve-demo

It will display the results for each problem.
