JaCoMo

JaCoMo is a high-level, solver-independent, Java constraint model for constraint satisfaction problems in the integer domain.

Progress

The current version is a work-in-progress. The progress for the v0.1 minimum viable product release is as follows:

• Basic model containing variables and constraints
  • Basic variables
    • Boolean
    • Integer
  • Basic expressions
    • Constants
      • Boolean
      • Integer
    • Boolean logic
      • And
      • Or
      • Not
    • Relational expressions
      • Equals
      • Not equals
      • Lesser than
      • Lesser or equals
      • Greater than
      • Greater or equals
    • Basic arithmetic expressions
      • Addition
      • Subtraction
      • Multiplication
      • Integer division
      • Minimum
      • Maximum
  • Boolean constraints
• Model factory methods for creating variables
• Visitor pattern for traversing the model
• Solver implementations
  • ChocoSolver
  • OR-tools
• Unit-test for non-trivial classes and system tests
• Getting started documentation with examples
• JavaDoc documentation
• Maven Central Repository release