ConstraintSolver.jl
ConstraintSolver.jl copied to clipboard
Wikunia
ConstraintSolver in Julia: Blog posts ->
This pull request changes the compat entry for the `StatsFuns` package from `^0.9.5` to `^0.9.5, 1`. This keeps the compat entries for earlier versions. Note: I have not tested your...
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "github-actions[bot] avatar"){kind=avatar}
In certain models, e.g. Steiner problem ( http://hakank.org/julia/constraints/steiner.jl ) there would be a great modelling benefit if one can sum over a list of constraints/conditions. Example (from the Steiner model)....
Closes #269 Function `notify_constraints_var_changed!` calls `changed_var!` for the constraints that are affected. Currently only the linear constraint implements the function to compute new `mins` and `maxs` values.
I want to use this issue to track problems that are slower than expected. These problems will need some testing with profiling, tree visualization and other tools. There might be...
Currently the maximum and minimum values are updated inside a linear constraint whenever it's called. Even if only one variable was changed all are updated. I think we could speed...
Issue 202 (https://github.com/Wikunia/ConstraintSolver.jl/issues/202 ) got a little sidetracked so here is a cleaner wish list. 1) The constraints using indicator/reification should not require that the user must create binary variables....
Here is a model that works without `@objective` but adding an `@objective` throws `MethodError: no method matching iterate(::Nothing)`. I don't know is this is a bug in my model or...
It would be great to be able to write more complex expressions, such as indicators and reifications in the RHS of an indicator / reification. For example (from http://hakank.org/julia/constraints/monks_and_doors.jl )...
For checking the unicity of a model (e.g. Sudoku) - or in general testing a model - it would be great if it it was possible to restrict the number...