About CHOCO

• Welcome
• News

Get CHOCO

• Download
• Build
• License

Using CHOCO

• Documentation
• Forums
• Samples
• Materials
• FAQ

Around CHOCO

• Users
• Publications
• Get involved
• About you

CHOCO Solver

• CHOCO solver
• CHOCO solver + CP-Viz

Extras

• CHOCO DB
• CHOCO Parsers
• CHOCO CLI
• CHOCO Visu
• Samples

Project Documentation

• Project Information
  • About
  • Continuous Integration
  • Dependencies
  • Dependency Convergence
  • Issue Tracking
  • Mailing Lists
  • Plugin Management
  • Project License
  • Project Modules
  • Project Plugins
  • Project Summary
  • Project Team
  • Source Repository
• Project Reports