v0.1.0

ConstraintSolver v0.1.0

Closed issues:

• Currently a variable can't be fixed in a constraint (#7)
• All different is only working if #values = #indices (#8)
• Get all solutions (#14)
• Support for variable on rhs and 2x+x => 3x (#15)
• consistent function names (#17)
• Export functions (#19)
• docs (#20)
• Don't return Infeasible if a solution was found (#23)
• Remove sorting (#24)
• MOI JuMP (#28)
• Additional objective functionality/tests (#38)
• Feasible solution first and the optimize (#39)
• Ordering of constraints (#42)
• Tests for deterministic run (#44)
• Implementation of own bipartite_matching (#46)
• Reuse memory in all_different constraint (#49)

• = / <= constraint for affine terms (#54)

• Confusion between values and indices (#56)
• Non-integer coefficients get silently converted (#57)
• Better dispatch strategy (#60)
• Documentation (#62)
• Support for variable != constant (#65)
• Support for != in linear functions (#66)
• Better bound using the constraints (#69)
• Branching in two branches (#74)
• Table logging (#78)
• SolveTime (#79)
• Solver failure on small problem (#83)
• Update to JuMP v0.21 (#84)
• Disagreement with Cbc.jl on feasibility (#86)
• Better <= bounds (#89)
• Different traversal strategies (#95)
• Support for timeLimit (#98)
• Bug probably in bound computation (#99)
• Option for logging infos about variables/constraints (#102)
• Better readme with examples (#110)
• Try a different splitting strategy (#113)
• Alldifferent bound computation (#114)
• Branch split Auto (#118)
• Alldifferent + linear combination (#119)

Merged pull requests:

• added some test cases (#1) (@Wikunia)
• delete from search space if fixed in all_different (#2) (@Wikunia)
• Feature pruning for the second blog post (#3) (@Wikunia)
• Feature propagate further post3 (#4) (@Wikunia)
• Feature alldifferent for blog post No. 4 (#5) (@Wikunia)
• GitHub CI (#6) (@Wikunia)
• Feature new datastructure (#9) (@Wikunia)
• Feature no recursion (#10) (@Wikunia)
• Feature sum constraint (#11) (@Wikunia)
• Feature sum speed (#12) (@Wikunia)
• Feature UI refactor (#13) (@Wikunia)
• equal constraint (#16) (@Wikunia)
• Support for #15 (#18) (@Wikunia)
• graph coloring part 1 (#21) (@Wikunia)
• Feature optimize (#22) (@Wikunia)
• Consistent function names fix for #17 (#25) (@Wikunia)
• export fix for #19 (#26) (@Wikunia)
• printing variables in a nice way, fixed/unfixed (#29) (@Wikunia)
• WIP Feature docs (#30) (@Wikunia)
• Feature docs 2 (#32) (@Wikunia)
• Simplify workflows/docs.yml (#33) (@fredrikekre)
• doc strings and reference.md (#34) (@Wikunia)
• set correct best bound, set bad nodes to :Worse (#35) (@Wikunia)
• checkout best solution after backtracking (#36) (@ShiyueZ)
• Feature no actual sorting (#37) (@ShiyueZ)
• depth first, benchmarks and correct best_sol (#41) (@Wikunia)
• Feature memory reduction (#43) (@Wikunia)
• test whether CS is deterministic (#45) (@Wikunia)
• Bipartite cardinality matching (#48) (@Wikunia)
• WIP: Feature MOI (#51) (@Wikunia)
• Feature irrelevant constraint order (#52) (@Wikunia)
• wording improvement, style (#55) (@matbesancon)
• Implementing #57: Real coefficients (#58) (@Wikunia)
• use MOI for benchmark tests for better comparison (#59) (@Wikunia)
• Support for linear objectives (#61) (@Wikunia)
• Feature better dispatch (#63) (@Wikunia)
• Bugfix real coefficients (#64) (@Wikunia)
• support for constraint x != c with constant c (#68) (@Wikunia)
• Support for less than linear constraints (#70) (@Wikunia)
• use the changed value for the bound (#71) (@Wikunia)
• add differentiated independent test (#73) (@matbesancon)
• branch into two parts (#75) (@Wikunia)
• Two extra benchmark sets for killer sudoku (#76) (@Wikunia)
• Alldifferent memory reduction (#77) (@Wikunia)
• hash calculation using string of Type (#80) (@Wikunia)
• solve time (#81) (@Wikunia)
• changes for support of JuMP v0.21 (#85) (@Wikunia)
• <= only support if coefficients are 1 and -1 (#87) (@Wikunia)
• Option for table logging (#90) (@Wikunia)
• new way of table logging (#91) (@Wikunia)
• docs for supported constraints and objectives (#92) (@Wikunia)
• obtain all solutions (#93) (@Wikunia)
• tagbot.yml (#94) (@Wikunia)
• A little refactoring (#97) (@Wikunia)
• Bugfix bounds 99 (#100) (@Wikunia)
• Feature logging info (#103) (@Wikunia)
• Feature lp bounds (#104) (@Wikunia)
• test Julia v1.4 (#105) (@Wikunia)
• time limit option (#106) (@Wikunia)
• Feature not equal (#107) (@Wikunia)
• traverse strategies BFS and DFS (#108) (@Wikunia)
• remove dimension of AllDifferentSet (#109) (@Wikunia)
• better readme with an example (#111) (@Wikunia)
• actually get all solutions... (#112) (@Wikunia)
• Feature split two different (#115) (@Wikunia)
• auto traversal option (#116) (@Wikunia)
• correct status in logging (#117) (@Wikunia)
• test different coverage action (#120) (@Wikunia)
• simplify alldifferent + sum better (#121) (@Wikunia)
• Auto branch split (#122) (@Wikunia)
• upper bounds and compat helper (#124) (@Wikunia)