Tag: constraint-programming
- Boolean constraints
- Generic bridges
- Creating bridges with JuMP.jl and MOI.jl
- Constraint Solver: Priority Queue
- Graph Coloring using Cliques
- ConstraintSolver.jl Refactoring
- ConstraintSolver.jl Reified constraint
- ConstraintSolver.jl Indicator Part 2
- Indicator constraint + Benchmarks
- Bugs and Benchmarks
- Solving Str8ts
- Table constraint
- ConstraintSolver.jl v0.1.0
- Table logging in Julia
- Constraint Solver: Support for linear objectives
- Constraint Solver: Dealing with real coefficients!
- Constraint Solver: How to use JuMP for your own solver?
- Finding the maximum cardinality matching in a bipartite graph
- How to profile julia code?
- Constraint Solver Part 12: Documentation and small changes
- Constraint Solver Part 11: Graph Coloring Part 2
- Constraint Solver Part 10: Graph Coloring Part 1
- Constraint Solver Part 9: Recap video
- Constraint Solver Part 8: UI Refactoring
- Constraint Solver Part 7: Sum constraint speed-up
- Constraint Solver Part 6: Backtrack and Sum constraint
- Constraint Solver Part 5: Different data structure
- Constraint Solver Part 4: Alldifferent constraint
- Constraint Solver Part 3: More Pruning and Benchmarking
- Constraint Solver Part 2: Pruning
- Setup and backtracking
- MIP - Travelling Salesman
- Simplex: Add constraints
- Simplex: Dual problem
- Simplex: Convert to standard form
- Simplex algorithm: Maximization problems
- Str8ts solved using Constraint programming
- Sudoku puzzles, Constraint programming and Graph Theory