Skip to content

Files

Latest commit

 Cannot retrieve latest commit at this time.

History

History
188 lines (150 loc) · 8.21 KB

CHANGELOG.md

File metadata and controls

188 lines (150 loc) · 8.21 KB

ConstrainSolver.jl - Changelog

v0.9.2 (26th of March 2022)

  • Compat change JuMP v1

v0.9.1 (26th of February 2022)

  • Compat change JuMP v0.23

v0.9.0 (19th of February 2022)

  • Works with MathOptInterface v0.10/v1

v0.8.2 (6th of February 2022)

  • Support for element constraints with a constant array like T[y] == z
    • This is experimental Quite some stuff that might go wrong when combining it inside an indicator, reified or boolean constraint.
      • If you find any problems please open an issue. I release it to get more feedback get this more tested. I plan on refactoring this quite a bit later.

v0.8.1 (5th of February 2022)

  • bugfix when using CS.Integers together with an alldifferent constraint. PR #283

v0.8.0 (8th of January 2022)

v0.7.1 (1st of November 2021)

  • Using priority queue also for BFS problems PR #274

v0.7.0 (7th of August 2021)

v0.6.10 (26th of July 2021)

  • Allow variables as constraint like a || !b instead of a == 1 || b == 0. PR #267
    • Attention Does not check if variable is a binary variable
  • Support for indicator/reified in indicator/reified (without bridges) PR #251
  • Support for VectorAffineFunction in TableSet/AllDifferentSet
    • i.e [x[i]+i for i in 1:n] in CS.AllDifferent()
    • [x,y,10] in CS.TableSet(...)
    • see issue #235 for in-depth examples

v0.6.9 (17th of July 2021)

  • set activator to false when inner violated PR #266

v0.6.8 (14th of June 2021)

  • support for xor and xnor constraints
  • better bridge structure for boolean constraints

v0.6.7 (18th of March 2021)

  • different data structure for saving variable changes for a speedup of ~10-25% in most instances PR #260

v0.6.6 (8th of March 2021)

  • Bugfix: binary variables in TableSet might have failed because init_vals wasn't copied PR #259
  • Refactoring constraints
    • using init_constraint! and activate_constraint! PR #257

v0.6.5 (15th of February 2021)

  • Bugfix in Or constraint outside indicator and reified when the constraint removes values when initialized
  • Bugfix in bool constraints for constraints that implement reverse pruning functions

v0.6.4 (13th of February 2021)

  • Bugfix in reified still_feasible when setting to inactive
  • Bugfix in alldifferent constraint when there is a gap in the values
  • Support for And constraints in the inner constraints of Indicator and Reified: i.e b := { sum(x) >= 10 && x in CS.AllDifferent() }
  • Support for Or constraints in the inner constraints of Indicator and Reified: i.e b := { sum(x) >= 10 || x in CS.AllDifferent() }
  • Support for && and || outside of Indicator and Reified
    • i.e sum(x) >= 10 || x in CS.AllDifferent()
  • Basic support for Indicator inside of reified:
    • i.e @constraint(model, b1 := {b2 => { v == 1 }})
    • currently lacks support for bridges such that v > 1 in the inner constraint will fail
  • Some general performance updates PR #247

v0.6.3 (17th of January 2021)

  • Use anti pruning in reified constraints

v0.6.2 (16th of January 2021)

  • Bugfix when linear constraint has only variables with coefficient 0 like x <= x => 0x <= 0

v0.6.1 (15th of January 2021)

  • Bugfix if binary variable is constrained directly in @variable
  • Use CS.get_inner_model to get the ConstraintSolverModel
    • Usage of JuMP.backend as before will fail
  • Support for strictly less than and greater than with < and >
  • Refactoring
    • Using bridges for >= and > in indicator and reified constraint
    • Combining == and <= into src/constraints/linear_constraints.jl

v0.6.0 (15th of December 2020)

  • Dropped support for Julia v1.0 and v1.1
  • Implementation of Activity Based Search
    • "branch_strategy" => :ABS
  • Throw error if there is a dimension mismatch in a TableSet
  • Bugfix in simplify! check that one inner index isn't used more than once

v0.5.3 (12th of December 2020)

  • Bugfix for optimization with reified and indicator constraints
    • If inner constraint does not define bound variables

v0.5.2 (11th of December 2020)

  • Bugfix for x == x constraints
  • Bugfix for directly infeasible constraint inside reified and indicator

v0.5.1 (10th of December 2020)

  • Bugfix in indicator constraint
    • If inner constraint is fixed and indicator tries to get active
      • Double check that the inner constraint is solved

v0.5.0 (8th of December 2020)

  • Using a priority queue for faster get_next_node
  • Removed further_pruning

v0.4.1 (8th of December 2020)

  • Using faster version of strongly connected components with lower memory footprint
  • Bugfix in reified constraint:
    • If inner constraint can't be activated it shouldn't be solved

v0.4.0 (29th of November 2020)

Improvements for graph coloring

  • Use LP solver also for single variable objectives
  • Combine several x != y constraints into an all different constraint
  • Combine several a >= x constraints with the same a into a vector constraints
    • used for better bounds using all different constraints

v0.3.1 (16th of November 2020)

  • Added copy function for constraint structs for latest JuMP/MOI versions

v0.3.0 (11th of July 2020)

  • Reified constraint #171

v0.2.2 (26th of June 2020)

  • Actually use best bound #175
  • Select next var based on objective (still hacky solution) #176

v0.2.1 (26th of June 2020)

  • Bugfixes in indicator constraint #170
    • Calling finished constraints and other functions for i.e TableConstraint as an inner constraint
    • Use correct best bound when inactive vs active

v0.2.0 (17th of June 2020)

  • Bugfix for indicator constraints
    • support for TableConstraint in Indicator

v0.1.8 (15th of June 2020)

  • Support for indicator constraints
    • i.e. @constraint(m, b => { x + y <= 10 })

v0.1.7 (22nd of May 2020)

  • Better feasibility and pruning in ==
  • Bugfixes:
    • Correct set of change ptr in AllEqual for faster/correct pruning
    • Call to isapprox_discrete in eq_sum
    • Fixed threshold rounding

v0.1.6 (11th of May 2020)

  • Reduction of memory allocations in TableConstraint
  • Pruning in AllEqual

v0.1.5 (6th of May 2020)

  • Bugfixes:
    • AllEqual feasibility: Check if other vars have value + no memory allocation
    • Call call_finished_pruning!(com) after second prune! before backtracking

v0.1.4 (6th of May 2020)

  • Added is_constraint_solved functions to check whether problem gets actually solved
  • Bugfixes:
    • Correct incremental update in table constraint
    • Fixed restore_pruning_constraint! in table

v0.1.3 (4th of May 2020)

  • Bugfixes:
    • Use correct offset in table constraint support and residues

v0.1.2 (27th of April 2020)

  • Table constraint
    • @constraint(m, x in CS.TableSet(2dArr))

v0.1.1 (15th of April 2020)

  • CS.Integers
    • i.e @variable(m, x, CS.Integers([1,2,5]))
  • Bugfixes:
    • return infeasible if start fixing is infeasible #132

0.1.0 (7th of April 2020)

Initial implementation of the solver: Basic constraints:

  • AllDifferent
  • Linear functions ==, >=, <=, !=