Search Results for "mixed integer solver" - Page 2
Sort By:
Showing 33 open source projects for "mixed integer solver"
View related business solutions-
Go From Idea to Deployed AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
ocaml-glpk
OCaml bindings for GLPK
OCaml bindings for the GLPK (GNU Linear Programming Kit) library for solving linear programming and mixed integer programming problems. -
2
Control-based bug fixing framework
A unified framework for concurrency bug fixing
...Under the hood, it first models multithreaded program as the formal Petri net, models the bugs as vectors, and reduces the bug fixing to vector separating problem or separating hyperplane problem. The employed mixed integer programming and the supervision based place invariants guarantee the minimal locks and maximal permissiveness of concurrency. For the purpose (2), the project contains many APIs for others to use, which may enable other control-based software analysis. -
3
Linear Program Solver
Solve linear programming problems
Linear Program Solver (LiPS) is an optimization package oriented on solving linear, integer and goal programming problems. The main features of LiPS are: ● LiPS is based on the efficient implementation of the modified simplex method that solves large scale problems. ● LiPS provides not just an answer, but a detailed solution process as a sequence of simplex tables, so you can use it for studying/teaching linear programming -
4
The problem of packing small boxes into a larger box underlies a number of cutting, packing, scheduling, and transportation applications. This solver for the problem, based on integer linear programming relaxations, beats previous work by far.
-
99.99% Uptime for Your Most Critical DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
Java ILP is a simple java interface to (mixed) integer linear programming solvers such as lp_solve, Glpk, Gurobi, SAT4J (0-1 ILP), MiniSat+(0-1 ILP), CPLEX, or Mosek. (documentation at http://javailp.sourceforge.net/)
-
6
Generic toolbox of Particle Swarm Optimization developed in Scilab (PSOTS). It is developed for a variety of complex problems, including single and multi-objective optimization problems, continuous and discrete problems, and mixed integer problems.
-
7
natural sort / order of arrays, sorts integer, string and mixed arrays - also strings with numbers included will be ordered naturaly, natsort and natcasesort for javascript
-
8
