Releases: Wikunia/ConstraintSolver.jl
Releases · Wikunia/ConstraintSolver.jl
v0.1.8
v0.1.7
v0.1.6
v0.1.5
v0.1.4
v0.1.3
ConstraintSolver v0.1.3
Merged pull requests:
v0.1.2
v0.1.1
ConstraintSolver v0.1.1
Closed issues:
Merged pull requests:
- changelog and readme installation (#125) (@Wikunia)
- using documenter key (#126) (@Wikunia)
- Define variable as an IntegerSet (#128) (@Wikunia)
- Bugfix for Integers. Forgot offset (#129) (@Wikunia)
- use constraint internals and
std(#131) (@Wikunia) - don't check feasibility when fixing before optimize! (#132) (@Wikunia)
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)