Search Results for "solver" - Page 7
Sort By:
Showing 355 open source projects for "solver"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
Far Cry 3 Grid Solver
A solver for the grid minigame at farcryoutpost.ubi.com
A solver for the grid minigame puzzles at farcryoutpost.ubi.com, for those that are too lazy / can't stand puzzles / or just want to look at some state-tree BFS search code. -
2
dep-trace
gdeptrace dependancy solver correct for pkg or make deps
...EXAMPLE: $ echo -e "b e\ne\nc b" | sort -k1,1 | gdeptrace [opts] e b c (b depends on e, c depends on b, e has no depends) (also: e has more items depending on it and is below anything it depends on; in this case the top, all and only by the rules known and given, in order by given where equal) $ echo -e "b e\ne\nc b" | depsort ditto, no opts needed $ libdeps objdump /lib/*.so.* (outputs if missing, load order (deps), rdeps, which are effected by missing lib/s, etc, see readme) $ doil (a package installer/solver like apt-get+dpkg which uses gdeptrace, see doil on Source Forge) dep-trace is now "gdeptrace" to ease packaging compatibility -
3
MPC-Solver
A Solver for Minimum Cost Minimum Path Cover problem
-
4
Z3-str
A Z3-Based String Constraint Solver
We moved to Github. This website only hosts previous releases. Please check https://github.com/z3str/Z3-str for the latest version. -
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.
-
5
HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages its correctness does not depend on floating point rounding errors.
-
6
Maze Solver
Solves mazes
Why solve a maze when you can get a computer to do it for you? All you have to do is draw the maze in a text file using: the character 'T' to represent a free space, 'P' to represent a wall, the character 'S' to represent the starting point, and 'F' to represent the finishing point. Just drag and drop the text file into the program and select which algorithm you would like the program to use to solve the maze. Currently you can choose either the Recursive algorithm (which does not give you... -
7
DisChoco
DisChoco: Distributed Constraint Reasoning Solver
DisChoco is a Distributed Constraint Reasoning Solver. Several Distributed Constraint Reasoning algorithms are implemented (like ABT, AFC, Adopt, ...). Users may easily implement and test their algorithms with DisChoco. contact: wahbi[at]users[dot]sourceforge[dot]net -
8
MT2D
An 2D magnetotellurics finite element solver using unstructured grids
...At present, most of 2D MT modeling codes are developed in terms of Matlab or FORTRAN and there are no open source ones for public. The release of C++ based MT2D is to offer an accurate 2D MT code for researchers, students in geophysical community. Using this simple and accurate solver, inversion software can be easily developed. To deal with broadband frequencies (MT and RMT problems), a same grid including the air space is used for both TE and TM mode. To whom is interesting in an usage of this code, please send an email to: renzhengyong@csu.edu.cn -
9
pyL1min
General purpose norm-1 minimization solver in Python
pyL1min is a general purpose norm-1 (l1) minimization solver written in Python. It is based on NumPy/SciPy, CVXOPT ( FFTW enabled) to solve l1 minimization problems that are based on interior point methods. You need to install Python, NumPy/SciPy and CVXOPT ( FFTW enabled) to use this software. The test.py program demonstrates a simple application in Compressive Sensing and shows how to use l1min module. -
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.
-
10
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
11
GENESIS (GEneral NEural SImulation System) is a software platform for the simulation of neural systems ranging from subcellular components and biochemical reactions to complex models of single neurons, large networks, and systems-level processes.
-
12
Python Quadratic Formula Solver
This is a Script that I made in Python to find the roots of a line
The script will find the roots of a line equation using the quadratic formula, whether it be real or imaginary. This script is nothing extraordinary I just put it up so someone trying to do something similar with imaginary numbers could use the code as reference. -
13
Computational Fluid Dynamics (CFD) solver aimed to solve multi-physics problems on unstructured grids (inviscid Euler, Navier-Stokes flows, Heat transfer). F90 based. MPI, cgns, Metis libraries used.
-
14
KnowCaptcha
More efficient captcha solver,better captcha bypass service.
Relying on a series of advanced techniques,KnowCaptcha has occupied the leading position in captcha bypass service.Once having KnowCaptcha API integrated,any captcha-relevant problem can be solved in no time. 1.Multi-database design:mass storage record; 2.Large capacity design:response peak situations; 3.Leading Server design:increase dedicated Server according to demand at any time; 4.Distributed architecture:eliminate downtime impact,fault tolerance,easy expansion; 5.Perfect API... -
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
Sudoku MEA Solver is projet of desktop Sudoku automatic solver aplication written in C++ with using Qt4. It's based on my batchelor thesis project (Multiagent Evolutionar Algorithm for Sudoku).
-
17
This project will encapsulate python routines for pricing derivatives and retrieving market data. It will also include user level tools and examples (such that openoffice Black-Scholes add-ins and spreadsheets) build around the python core modules.
-
18
Sudoku Solver Win
Sudoku solver and generator for Windows
A small footprint , lightweight sodoku solver and puzzle generator for Windows. -
19
Discrete Dipole Aproximation Project
Plugin orientated Discrete Dipole Approximation (DDA) Solver
Discrete Dipole Approximation Project, is a software package designed to solve the Discrete Dipole Problem by the Discrete Dipole Approximation (DDA) method. This software is desgined to be plugin operated allowing for easy implimincation of new solver methods to improve the efficienty of the code. The plugin support also allow the program to write its output in multiple formats and structures defined by plugins. -
20
-
21
MathCalc aims to be a flexible calculator, it tries to make things very simple to the user. with extra features like sketching, matrix operations, Linear equation solver and more ! This document explains how to compile MathCalc and install it to your PC.
-
22
-
23
The parallelized FDTD Schrodinger Solver implements a parallel algorithm for solving the time-independent 3d Schrodinger equation using the finite difference time domain (FDTD) method. See the Hosted Apps > MediaWiki menu item for more information.
-
24
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. -
25
PCramer
Dense linear solver utilizing Cramer's rule in parallel
This code provides a linear solver based on a parallel application of Cramer's rule. The programming was done in 'C' leveraging the MPI-CH2 libraries for message passing between nodes. This implementation is for dense linear systems and all calculations are done with doubles.
