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
• Project Reports