Mathematical solvers
Jedi & Prota
Constraint programming and a multi-solver family for linear, semidefinite, second-order cone, integer and mixed-integer optimization.
What you can explore
Explore constraint programming and linear, semidefinite, second-order cone, integer and mixed-integer optimization.
Scope and availability
Jedi includes 14 constraint-programming approaches; Prota is a multi-solver family. Supported formulations are confirmed for the evaluation.
A useful first evaluation
Provide a model with known feasible solutions. Compare objective value, constraint residuals, numerical stability and runtime with established solvers.
Start with your problem.
Talk to Quzones about Jedi & Prota, your constraints and the next practical step.
Discuss an evaluation ↗