Source and/or Object Code Distribution

The SGPlan Planner

The CSA Constrained Simulated Annealing

The DLM Discrete Lagrangian Method for Solving SAT Benchmarks

The Novel Nonlinear Search Method

The Wise Meta-Level Branch-and-Bound Search Software