Issues

• Warning: Consider using Format.jl instead of Formatting.jl

  Wikunia/ConstraintSolver.jl#292 · Filter by author Jeerhz opened on Jul 27, 2025

• Bug: Macros of boolean constraints only work when CS is defined

  Wikunia/ConstraintSolver.jl#290 · Filter by author Wikunia opened on Dec 6, 2022

• observer pattern for variable change

  enhancement
  Wikunia/ConstraintSolver.jl#269 · Filter by author Wikunia opened on Jul 22, 2021

• List of problems that are slower than expected

  Wikunia/ConstraintSolver.jl#265 · Filter by author Wikunia opened on Mar 19, 2021

• Sum of constraints: e.g. @constraint(model, sum([x[i,k] == 1 && x[j,k] == 1 for k in 1:n] <= 1)

  new constraint type
  Wikunia/ConstraintSolver.jl#254 · Filter by author hakank opened on Feb 13, 2021
  2

• More complex constraints in RHS of an indicator / reification

  Wikunia/ConstraintSolver.jl#248 · Filter by author hakank opened on Feb 12, 2021
  2

• Better bounding in indicator and reified

  objective
  Wikunia/ConstraintSolver.jl#237 · Filter by author Wikunia opened on Jan 13, 2021

• Support for obtaining the active domain of an variable

  enhancement
  Wikunia/ConstraintSolver.jl#229 · Filter by author hakank opened on Dec 16, 2020
  3

• Restricting the number of solutions?

  enhancementoption
  Wikunia/ConstraintSolver.jl#223 · Filter by author hakank opened on Dec 13, 2020
  6

• @objective in a (specific) model give "MethodError: no method matching iterate(::Nothing)"

  branching strategyenhancement
  Wikunia/ConstraintSolver.jl#220 · Filter by author hakank opened on Dec 12, 2020
  7

• Support of nonlinear constraints?

  new constraint type
  Wikunia/ConstraintSolver.jl#216 · Filter by author hakank opened on Dec 11, 2020
  4

• Wish list for indicators/reification

  enhancement
  Wikunia/ConstraintSolver.jl#205 · Filter by author hakank opened on Dec 8, 2020
  1

• Another constraint request: modulo (%)

  enhancementnew constraint type
  Wikunia/ConstraintSolver.jl#201 · Filter by author hakank opened on Dec 8, 2020
  4

• Adding a variable slows down the search

  Unexpected
  Wikunia/ConstraintSolver.jl#200 · Filter by author hakank opened on Dec 7, 2020
  3

• 1D element constraint for variable arrays

  enhancementnew constraint type
  Wikunia/ConstraintSolver.jl#198 · Filter by author Wikunia opened on Dec 5, 2020

• 2D element constraint for constant arrays

  enhancementnew constraint type
  Wikunia/ConstraintSolver.jl#197 · Filter by author Wikunia opened on Dec 5, 2020

• Is there an element constraint?

  enhancement
  Wikunia/ConstraintSolver.jl#195 · Filter by author hakank opened on Dec 4, 2020
  6

• Documentation for developers

  documentation
  Wikunia/ConstraintSolver.jl#174 · Filter by author Wikunia opened on Jun 26, 2020
  1

• Question: Correct way to do use value of an integer variable for indexing

  Wikunia/ConstraintSolver.jl#164 · Filter by author metanoid opened on May 15, 2020
  4

• Unit tests

  Wikunia/ConstraintSolver.jl#161 · Filter by author Wikunia opened on May 11, 2020
  1

• Start values

  Wikunia/ConstraintSolver.jl#139 · Filter by author Wikunia opened on May 1, 2020

• Configure logging table

  good first issuehelp wantedoption
  Wikunia/ConstraintSolver.jl#134 · Filter by author Wikunia opened on Apr 21, 2020

• Logs for visual debugging

  Wikunia/ConstraintSolver.jl#133 · Filter by author Wikunia opened on Apr 17, 2020

• Releases

  Wikunia/ConstraintSolver.jl#123 · Filter by author Wikunia opened on Apr 4, 2020
  83

• Different branching strategies

  Wikunia/ConstraintSolver.jl#96 · Filter by author Wikunia opened on Mar 3, 2020
  2