Search Results for "gurobi"
Sort By:
Showing 5 open source projects for "gurobi"
View related business solutions-
Taking the Paper Out of WorkThe Square 9 AI-powered intelligent document processing platform takes the paper out of work and makes it easier to get things done with digital workflows.
-
Empower Your Workforce and Digitize Your Shop FloorEasily connect to most tools and equipment on the shop floor, enabling efficient data collection and boosting productivity with vital insights. Turn information into action to generate new ideas and better processes.
-
1
OR-Tools - Google Optimization Tools
Google's software suite for combinatorial optimization
...These encompass problems in vehicle routing, flows, integer and linear programming, and constraint programming. This suite contains a number of solvers, namely: a constraint programming solver; a linear programming solver; wrappers for commercial solvers (like Gurobi or CPLEX) and other open source solvers (SCIP, GLPK, etc.); among others. OR-Tools is written in C++, but comes with wrappers for Python, C# and Java. Once you model your problem in your preferred programming language, you can then use any of OR-Tools’ available solvers. OR-Tools is an award-winning project, having won three gold medals in the 2020 MiniZinc Challenge, the international constraint programming competition. -
2
An open source Solver-compatible optimization engine for Microsoft Excel on Windows and Mac using the Coin-OR CBC linear and integer programming optimizer. You can also use other solvers like Gurobi (if you have it installed), solvers on the NEOS cloud, and various non-linear solvers are supported too.
-
3
SolverStudio
Integrated optimisation environment for Excel
SolverStudio is an add-in for Excel 2007 and 2010 on Windows that allows you to build and solve optimisation and simulation models using tools such as PuLP, AMPL, GMPL, GAMS, Gurobi and SimPy. SolverStudio allows you to create and edit your model without leaving Excel, and to save your model inside your workbook. You can also easily link data on your spreadsheet to variables in the model. SolverStudio manages the exchange of data between the spreadsheet and the model, ensuring your answer appears back on the spreadsheet. -
4
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/)
-
The most advanced C and C++ source code analyzerTrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
-
5
Path Partitioner
Finds bad examples for the local search Path Partitioning algorithm
...See http://www.tau.ac.il/~ohadschn/Thesis/Partitioning.pdf. Requirements: Microsoft Automatic Graph Layout http://research.microsoft.com/en-us/projects/msagl/ Gurobi Optimizer http://www.gurobi.com/ Permutations, Combinations, and Variations using C# Generics http://www.codeproject.com/Articles/26050/Permutations-Combinations-and-Variations-using-C-G
- Previous
- You're on page 1
- Next
