Search Results for "open solver"
Sort By:
Showing 41 open source projects for "open solver"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
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
OR-Tools - Google Optimization Tools
Google's software suite for combinatorial optimization
Google Optimization Tools, also known as OR-Tools is an open-source, fast and portable software suite for solving combinatorial optimization problems. 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. ... -
2
Minsky
System dynamics program with additional features for economics
Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at... -
3
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
4
GLPK for Java
Java language binding for the GNU Linear Programming Kit (GLPK)
GLPK for Java provides a Java language binding for the library GLPK. GLPK is a proven solver for linear and mixed integer mathematical programming problems. For Windows binaries see project GLPK for Windows (http://sourceforge.net/projects/winglpk/). -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
6
TSP Solver and Generator
Generate and solve Travelling Salesman Problem tasks
TSPSG is intended to generate and solve Travelling Salesman Problem (TSP) tasks. It uses Branch and Bound method for solving. An input is a number of cities and a matrix of city-to-city travel prices. The matrix can be populated with random values in a given range (useful for generating tasks). The result is an optimal route, its price, step-by-step matrices of solving and solving graph. The task can be saved in internal binary format and opened later. The result can be printed or saved as... -
7
BioFVM
3-D diffusion solver for biological problems
BioFVM is an open source diffusive transport solver for biological problems. It can solve for the diffusion of tens or hundreds of substrates on large 3-D domains. For simplicity, the code has minimal external dependencies. BioFVM was first published in: A. Ghaffarizadeh, S.H. Friedman, and P. Macklin. BioFVM: an efficient, parallelized diffusive transport solver for 3-D biological simulations. -
8
Soduku-Solver
Soduku Solver solves 6x6 soduku of easy and medium level.
Soduku solver V 1.0 is Open Source project which solves the 6x6 Soduku problem of easy and medium level. It is a Open Source project which is available in github repository and this project welcome each contributor which helps to make this project better. Keywords : soduku solver , solve the soduku , soduku 6*6 , soduku 6x6 , solve my soduku problem , amazing software , artificial intelligence , best software , top software -
9
ICE (Interval Calculator for Engineer)
Interval Calculator for Engineer
ICE is a simple mathematical calculator with very useful shortcuts for Engineer: works natively with tolerance, can run Monte Carlo analysis, uses engineer notation, includes most of the day by day functions used by engineers. -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
This java program will ultimately solve grid-type logic problems if given enough clues in a pseudo english language. Features a user friendly GUI letting the user know the progression of the solving process based on the clues entered.
-
11
ViennaCL
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
ViennaCL provides high level C++ interfaces for linear algebra routines on CPUs and GPUs using CUDA, OpenCL, and OpenMP. The focus is on generic implementations of iterative solvers often used for large linear systems and simple integration into existing projects. -
12
Mathpad
A Python based command line math utility.
Mathpad is a command line utility. It will later have a GUI, but not at this time. -
13
Linear Equations Set Solver
Solving Set Of Linear Equations with use of Gauss elimination method.
-
14
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
15
expressionCalc
Cross platform Mathematical expression solver
expressionCalc is a Mathematical expression solver. It has a Java implementation (for cross platform) and a C# implementation (for Windows). Support most of the Mathematical functions including log, sin, a sin etc. Implemented based on the expression solving technique of BODMAS. -
16
PyDQP
Distributed QP Solver in Python
PyDQP implementes 11 different dual decomposition schemes, both first and second order, in order to solve quadratic programs in a distributed fashion. -
17
Mathemapy
A Python calculator program
Mathemapy is a feature-rich calculator made in Python. It can do multiple types of division, solve equations, expand equations and more. -
18
ViennaFEM
A finite element solver using state-of-the-art programming techniques.
ViennaFEM is a library-centric implementation of the finite element method in C++. It features a symbolic math kernel, which manipulates the strong or weak form of the problem and automatically derives the discrete form. ViennaFEM is built on top of the following libraries: ViennaMath provides the symbolic math kernel, ViennaGrid (with ViennaData) allows for a generic grid handling and quantity storage, while ViennaCL provides the linear solvers and GPU acceleration. -
19
Zero Sum Game Solver Java Library
Zero Sum Game Solver Java Library
Zero Sum Game Solver Java Library is open source java library to solve 2-player finite zero-sum games. This programs solve zero-sum games with linear programming. -
20
A branch-and-prune method to find all solutions to systems of nonlinear equations. The number of variables must equal the number of equations. The variables must have proper lower and upper bounds. The solver has an interface to the AMPL environment.
-
21
-
22
The general triangle solver. It computes all solutions for a triangle specified by combination of sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of alpha-beta.
-
23
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
-
24
yades - "yet another differential equation solver". This Java application solves ordinary differential equations (ODE) numerically and displays the results as tables, graphs, direction fields or vector fields.
-
25
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
