JaCoMo changelog

This changelog gives a high-level overview of the (planned) changes per version.

Future versions

After the MVP is done the goals are to:

Expand the model with more operations
- Xor expression
- Real variables
- Additional types of constraints
Add more solver implementations
- MiniZinc
- OscaR
- JaCop
- Yuck

Version 0.1 is a minimal viable product. It contains the following:

The following has changed from RC4:

Use Strings instead of enums for element types (improves extensibility of the model)
Add documentation for extending the model
Add unit tests for complex variables, the model and the visitor implementation
Update dependencies
Use the new OR-Tools Literal and BoolVar classes

The fourth release candidate of version 0.1. The following has changed from RC3:

Add parallelization settings to Solver interface and implementations
Add time limit settings to Solver interface and implementations
Implement parallel ChocoSolver search using ParallelPortfolio with stealing no-good solutions on restart
Keep element order of checked models
Improve toString() representation of variables
Add ElemPrinter for printing simplified string representations of elements
Add toFullString() to Model that also includes simplified variable and constraint expressions
Add optimizations to Checker for short-circuit evaluation of And- and Or-expressions and simplifying double negations
Add check() method to Model that checks the Model and returns a checked and optimized Model
Add hasVars() and hasConstraints() methods to Model
Improve the conversion of boolean variables to constraints in ChocoSolver implementation
Update OR-Tools and Choco-solver

The third release candidate of version 0.1. The following has changed from RC2:

Update OR-Tools to avoid crash when solving multiple times in the same process (github.com/google/or-tools/issues/2091)
Add methods to solve Models without updating existing elements, rename existing solve methods adequately
Add factory methods for creating variables
Add factory methods for creating nested binary expressions
Make model copyable
Add methods for accessing model elements as Stream
Also optimize subexpressions of expression variables in checker
Add optimization for divisions with upper bound of zero
Filter duplicate elements in checker
Move all elements inside elem package
Add methods to list variable names in VarMap and Model
Rename Model.visitAll to Model.visit
Add unit tests for boolean expressions and binary integer expressions
Fix typo in GeExpr.getValue
Include element names in hashcode generation to avoid hash collisions with similarly structured trees
Update dependencies

The second release candidate of version 0.1. The following has changed from RC1:

Fix bounded intVar hasValue returning true when both bounds are null
Fix ChocoSolver expression to constraint conversion for certain expressions
Solve models by updating unresolved variables directly instead of returning a map with new variables
Add Checker containing model checks and optimizations
Rework visitor caching to prevent posting reified constraints
Enable Continuous Integration

The first release candidate of version 0.1. It contains the following: