Releases: svenkonings/JaCoMo
Releases · svenkonings/JaCoMo
v0.1 - MVP release
Version 0.1 is a minimal viable product. It contains the following:
- 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
- Constants
- Boolean constraints
- Basic variables
- Model factory methods for creating variables
- Visitor pattern for traversing the model
- Solver implementations
- Choco-solver
- OR-tools
- Unit-test for non-trivial classes and system tests
- Getting started documentation with examples
- JavaDoc documentation
- Maven Central Repository release
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
v0.1 - Release Candidate 4
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()
andhasConstraints()
methods to Model - Improve the conversion of boolean variables to constraints in ChocoSolver implementation
- Update OR-Tools and ChocoSolver
v0.1 - Release Candidate 3
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
andModel
- Rename
Model.visitAll
toModel.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
v0.1 - Release Candidate 2
The second release candidate of version 0.2. 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
v0.1 - Release Candidate 1
First release candidate for version 0.1.
Code should be final apart from bug fixes. Still needs additional tests and getting started documentation.
RC1 contains:
- 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
- Constants
- Boolean constraints
- Basic variables
- Model factory methods for creating variables
- Visitor pattern for traversing the model
- Solver implementations
- ChocoSolver
- OR-tools
- System tests
- JavaDoc documentation
- Maven Central Repository release