Source and/or Object Code Distribution
The SGPlan Planner
- SGPlan for solving problems specified in PDDL 2.1, 2.2, and 3.
The CSA Constrained Simulated Annealing
- For a description of the method, see papers on
CSA,
CGA, and
CSAGA,
- Source code for a Fortran implementation on Linux (with no support)
The DLM Discrete Lagrangian Method for Solving SAT Benchmarks
- Sun Sparc Source Code and Results (1997 Version)
Y. Shang and B. W. Wah,
Released: June 18, 1997 (extract by gunzip followed by tar)
DIMACS benchmarks used can be found at
DIMACS' ftp site
- Solaris X86 Source Code and Results (2000 Version)
Z. Wu and B. W. Wah,
Released: May 16, 2000 (extract by gunzip followed by tar)
- For a description of the method, see
Z. Wu's Ph.D. Thesis,
Theory of DLM,
Applications of DLM to solve SAT problems,
Applications to solve MAX-SAT problems,
Global search for SAT,
Escape strategies for SAT, and
Solving hard SAT problems,
The Novel Nonlinear Search Method
The Wise Meta-Level Branch-and-Bound Search Software