CSP for Java

Many problems arising in Artificial Intelligence and Computer Science involve constraint satisfaction as an essential component. Such problems occur in numerous domains such as scheduling, planning, molecular biology and circuit design. These problems can be modelled as constraint networks, simply composed of a set of variables and of a set of constraints. CSP4J is a CSP solver: it tries to assign a value to each variable such that all constraints are satisfied.

SPIP | template | | Site Map | Follow-up of the site's activity RSS 2.0