Search Results for "solver"
Sort By:
Showing 163 open source projects for "solver"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou 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 secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
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
Binary Analysis Platform
Binary Analysis Platform
... conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. The toolkit repository includes various examples of program analysis tools that could be implemented with BAP and can be used as the starting point (in addition to the tutorial) for implementing custom analyses. BAP can be used as a framework with a single bap utility that is extended with plugins or it can be used as a library embedded in a user application, which could be written in OCaml. -
3
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... -
4
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by the Portuguese Renato Alexandre dos Santos Freitas. Also author of... -
Conversational AI for fast and friendly customer care | watsonx AssistantIBM watsonx Assistant is a next-gen conversational AI solution—it that empowers a broader audience that includes non-technical business users, anyone in your organization to effortlessly build generative AI Assistants that deliver frictionless self-service experiences to customers across any device or channel, help boost employee productivity, and scale across your business.
-
5
Code_TYMPAN
Open source software calculating industrial noise in the environment
Code_TYMPAN™ is an open source software for calculating industrial noise in the environment. It allows dealing with 3D realistic geometries and has a convenient Human Machine Interface to help engineers to build 3D models and to achieve analysis needed in environmental noise studies. Code_TYMPAN™ allows developing your own calculation method from basic components and geometrical solvers. It includes a solver based on ISO 9613 extended to industrial applications. In 4.2.x version, a Python API... -
6
Library for ion optics, plasma extraction and space charge dominated ion beam transport.
-
7
AntTSP
Traveling Salesman Problem (TSP) Solver
Fast Ant Colony Optimization TSP Solver -
8
A sparse matrix solver for electric power systems, based on the KLU library from University of Florida.
-
9
RSM
Radiation Spectrum Method : a modal BPM (Beam Propagation Method)
RSM (Radiation Spectrum Method) is a 2D rigorous tool to solve the Maxwell equations for the propagation of light in integrated optics or photonics devices. It makes use of an eigenmode expansion method to solve the electromagnetic problem. This software running on Windows and MacOS comes with a GUI that permits to define with the aid of files or scripts the arbitrary and complex geometry of the waveguide. Of that way any waveguide geometry can be handled. Several plots are available :... -
High-performance Open Source API GatewayKrakenD is a high-performance API Gateway optimized for resource efficiency, capable of managing 70,000 requests per second on a single instance. The stateless architecture allows for straightforward, linear scalability, eliminating the need for complex coordination or database maintenance.
-
10
This software solves the Phylogeny problem using Median Networks. Exact and heuristic methods available. Input: an alignment and a reversible stepmatrix, output: (sub)optimal trees and their combinations. Steiner problem solver included.
-
11
A fast Rubik's cube solver with a Qt-frontend. This is a port from H. Kociemba's Two-Phase-Algorithm to C++ which can solve cubes with an average of 20 moves. Needs Qt 4 (<=cubesolver-0.1.1) or Qt 5 (>=cubesolver-0.2.1).
-
12
DiInSo
DiInSo is orient to solve 3D direct and 2D/3D inverse problems of ERT
'Direct-Inverse Solver' (DiInSo) is an electrical resistivity tomography (ERT) software which orient to solve 3D direct and 2D/3D inverse problems on direct current (DC). X86 version of DiInSo is totally free and can be use in scientific purposes, but it also has not any guarantees, so use DiInSo at your own risk. READ CAREFULLY NEXT IMPORTANT MESSAGE NEVER use BLANKS and try to use only ENGLISH SYMBOLS in directories, filenames, paths and names of problems in program DiInSo. It is highly... -
13
Sudoku game with numbers, letters or colors. Board size can be from 4 to 20 (default size is 9). You can play many variants - Killer, Greater Than, Consecutive, Odd/Even, Diagonal, Samurai and their combinations, too.
-
14
Triton
Triton is a dynamic binary analysis library
Triton is a dynamic binary analysis library. It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code. Linux, Windows and OS X compatible. You can directly compile source code from our Github repository. The Triton library is Linux, Windows and OS X compatible. A potential way to getting started is to see our Python examples already bootstrapped. -
15
Qbsolv
A decomposing solver
Qbsolv,a decomposing solver, finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem by splitting it into pieces solved either via a D-Wave system or a classical tabu solver. (Note that qbsolv by default uses its internal classical solver. Access to a D-Wave system must be arranged separately.) -
16
ViennaSHE is a modern semiconductor device simulator for 1D, 2D and 3D device simulation. It relies on deterministic solutions of the Boltzmann Transport Equation using Spherical Harmonics Expansions.
-
17
bridge studio
bridge double dummy solver. Preferance problems solver
This program is fast and powerful solver of bridge double dummy problems. Working with pbn and deepFinesse files, store problems to html. There is big library of dd problems presented. -
18
Polynomial System Solver
pss5 is a polynomial system solver, under development.
The objective of this project is to build a general-purpose polynomials system solver. While a few of those programs are available, this one will incorporate recent mathematical advances on mixed volume computations, sparse condition numbers and condition-metric homotopy. -
19
Sudoku Game Solver Generator
Standalone Complete Sudoku puzzle Game Solver Generator for Windows
This is the most complete and standalone Sudoku puzzle suite for Windows. It includes comfort playing with undo steps and powerful Sudoku generator with different difficulty levels. Also you can create Sudoku game manually and print it on an A4/Letter paper. Tutorial mode with solving hints for newbies is included too. Also there is High Score table and built-in timer for professional players. The Sudoku generation algorithm used by this app is my ultimate proud. Primarily it was based on... -
20
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... -
21
Nonlinear Schrödinger equation (NSE) is a fundamental equation in nonlinear optics that describes the propagation of a pulse through a dispersive and nonlinear medium. Nonlinear Pulse Propagation Solver (NPP) is a program, written in C/C++, that solves NSE in an arbitrary waveguide. It has a user friendly interface, which allows a user to enter the pulse and waveguide parameters and execute simulations. The program can be invoked within MATLAB and any other scripting language. It can export...
-
22
QSS Solver
Modeling and simulation tool for continuous and hybrid systems.
UPDATE: ----------- This repository is no longer maintained, the new version of the QSS Solver is available at: https://github.com/CIFASIS/qss-solver -
23
SLAM++
high-performance nonlinear least squares solver for graph problems
SLAM++ is a minimalist implementation of incremental nonlinear least squares, containing lighting fast implementation of linear algebra on sparse block matrices. It is aimed for use in 3D reconstruction or robotics. -
24
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. Bioinformatics 32(8): 1156-8, 2016. DOI: 10.1093/bioinformatics/btv730 method paper... -
25
DMFT+DMRG
DMFT and cellular-DMFT code
DMFT and cellular-DMFT code for the multiband Hubbard model in different lattices using DMRG as impurity solver