Versions

Description

Choco is a Free and Open-Source Software dedicated to Constraint Programming. It is a Java library written under BSD license. It aims at describing hard combinatorial problems in the form of Constraint Satisfaction Problems and solving them with Constraint Programming techniques. The user models its problem in a declarative way by stating the set of constraints that need to be satisfied in every solution. Then, Choco solves the problem by alternating constraint filtering algorithms with a search mechanism.

Repository

https://github.com/chocoteam/choco-solver.git

Project Slug

choco-solver

Last Built

2 years, 3 months ago failed

Maintainers

Home Page

http://choco-solver.org

Badge

Tags

csp, java, solver, constraint-optimisation-problem, constraint-satisfaction-problem, constraints, constraint-programming, copr, constraint-solver

Short URLs

choco-solver.readthedocs.io
choco-solver.rtfd.io

Default Version

latest

'latest' Version

master