/JaCoMo

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

Primary LanguageJavaMozilla Public License 2.0MPL-2.0

JaCoMo

JaCoMo

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

Build Maven Central Javadoc

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