Menu

Tree [a281f1] master /
 History

HTTPS access


File Date Author Commit
 .settings 2024-04-26 tomas-muller tomas-muller [06c8ac] Code Cleanup: Eclipse Settings
 lib 2023-05-03 tomas-muller tomas-muller [ab5fe6] Dependencies: Log4j 2.20.0, Dom4j 2.1.4
 src 2025-01-30 tomas-muller tomas-muller [e705ef] Student Scheduling: Hard Distance Conflicts
 .classpath 2023-05-03 tomas-muller tomas-muller [ab5fe6] Dependencies: Log4j 2.20.0, Dom4j 2.1.4
 .gitignore 2018-11-01 tomas-muller tomas-muller [4eda06] Nightly Builds
 .project 2020-06-25 tomas-muller tomas-muller [b5d369] Dependencies: Dom4J
 LICENSE 2017-07-03 tomas-muller tomas-muller [7dd714] CPSolver License: lgpl.txt renamed to LICENSE
 README.md 2015-01-27 Tomáš Müller Tomáš Müller [6c82f7] README file
 build.number 2014-03-18 Tomáš Müller Tomáš Müller [e9b579] Build
 build.xml 2024-12-10 tomas-muller tomas-muller [1eccc0] JavaDoc: Cleanup
 distribution.xml 2017-07-03 tomas-muller tomas-muller [7dd714] CPSolver License: lgpl.txt renamed to LICENSE
 pom.xml 2025-02-03 tomas-muller tomas-muller [a281f1] [maven-release-plugin] prepare for next develop...

Read Me

CPSolver

Local-search based solver of Constraint Satisfaction and Optimization Problems
http://www.cpsolver.org

The constraint solver library contains a local search based framework that allows modeling of
a problem using constraint programming primitives (variables, values, constraints).

The search is based on an iterative forward search algorithm. This algorithm is similar to local
search methods; however, in contrast to classical local search techniques, it operates over feasible,
though not necessarily complete, solutions. In these solutions some variables may be left unassigned.
All hard constraints on assigned variables must be satisfied however. Such solutions are easier to
visualize and more meaningful to human users than complete but infeasible solutions. Because of the
iterative character of the algorithm, the solver can also easily start, stop, or continue from any
feasible solution, either complete or incomplete.

The framework also supports dynamic aspects of the minimal perturbation problem, allowing the number
of changes to the solution (perturbations) to be kept as small as possible.

The constraint solver was among finalists for all three tracks of the International Timetabling
Competition 2007
(ITC2007) and it won two of them, see ITC 2007 for more details.

Components

The following modules are included in the library:
- Local-search based solver of Constraint Satisfaction and Optimization Problems
- Course Timetabling Extension
- Student Sectioning Extension
- Examination Timetabling Extension

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.