xcsp3team / XCSP3-Java-ToolsLinks
XCSP3 Tools in Java
☆23Updated 2 months ago
Alternatives and similar repositories for XCSP3-Java-Tools
Users that are interested in XCSP3-Java-Tools are comparing it to the libraries listed below
Sorting:
- Constraint Solver ACE☆32Updated 3 weeks ago
- The Chuffed CP solver☆108Updated 3 weeks ago
- Generic Constraint Development Environment☆311Updated 3 months ago
- ☆32Updated last year
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆21Updated last week
- ☆20Updated 3 years ago
- A Python Library for modeling combinatorial constrained problems☆72Updated this week
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 9 months ago
- A suite of MiniZinc benchmarks.☆86Updated 4 years ago
- The MiniZinc compiler☆562Updated 3 weeks ago
- ☆12Updated last week
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆29Updated 3 years ago
- The MiniZinc IDE☆147Updated 2 months ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆20Updated last year
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆49Updated 3 weeks ago
- A benchmark library for constraints☆96Updated last month
- Branch-and-Price-and-Cut in Julia☆204Updated last month
- Parallel Presolve for Integer and Linear Optimization☆40Updated 4 years ago
- Feasibility Jump☆28Updated last year
- BuDDy BDD package (with CMake support)☆13Updated last year
- Delta-Debugging of MIP-Solvers☆13Updated 2 months ago
- Access to all MiniZinc functionality directly from Python☆164Updated 2 weeks ago
- SCIP - Solving Constraint Integer Programs☆496Updated this week
- COIN-OR Linear Programming Solver☆460Updated last week
- A Julia wrapper for the Concorde TSP Solver.☆15Updated 5 months ago
- Branch-Cut-Price Framework☆30Updated 4 years ago
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆71Updated last month
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆22Updated 3 years ago
- A Julia interface for VRPSolver☆17Updated 2 years ago
- A C++ Framework for Optimization☆36Updated this week