Search Results for "open solver" - Page 6
Sort By:
Showing 338 open source projects for "open solver"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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
Dynamis
Simple ODE solver for dynamical systems
Dynamis is a simple ODE solver implemented in C for studying dynamical systems (e.g. population biology). -
2
dep-trace
gdeptrace dependancy solver correct for pkg or make deps
gdeptrace sorts an input dependancy list or table and prints it, and can do other actions. It's default operation is to act like tsort (1) except that it sorts by pure pkg / make dependancy (tsort sorts by grapical topology: see notes about differences). 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... -
3
dlvhex is a prototype solver for HEX-programs which integrate Answer-Set Programs with higher-order reasoning and external computation sources. It comes with a full-fledged plug-in framework for rapid extension development.
-
4
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 -
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
5
MT2D
An 2D magnetotellurics finite element solver using unstructured grids
...In addition, it offers two algorithms: the total field approach and the secondary field approach. 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. ... -
6
Impact is an explicit Finite Element Program Suite which simulates dynamic impact events. It has a range of elements, contact handling and different material laws. Models can be created, solved and analyzed with the included pre- and postprocessor. Impact is based on an Explicit Time stepping algorithm. These kind of codes are used to simulate dynamic phenomena such as car crashes and similar, usually involving large deformations.
-
7
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,... -
8
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.
-
9
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
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. -
11
Sudoku Solver Win
Sudoku solver and generator for Windows
A small footprint , lightweight sodoku solver and puzzle generator for Windows. -
12
allink
Software for data analysis, image processing, simulations, solver.
Collection of utilities based on two basics classes: Matematica and VarData. Matematica) performs math operations on vectors and matrices for smoothing, interpolation, convolution, image processing... VarData) manipulate a structure of points connected by links. Addraw) openGL engine. ElPoly) analyze mechanical properties of polymer and membrane like structures. Addyn) perform molecular dynamics and Monte Carlo simulations and has a solver for 4th oder PDE. Avvis) perform all the... -
13
Acoustic FDTD Solver (AC2D) -- is a software to simulate acoustic wave propagation in two dimensions based on the finite-difference time-domain (FDTD) method.
-
14
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. -
15
CADET
Chromatography Analysis and Design Toolkit
We have moved to GitHub: https://github.com/cadet The Chromatography Analysis and Design Toolkit (CADET) is developed at the Institute of Bio- and Geosciences 1 (IBG-1) under supervision of Prof. Eric von Lieres. The core of the CADET software is a fast and accurate solver for the General Rate Model (GRM) of packed bed liquid chromatography. The CADET solver covers a wide range of GRM variants, combining different transport and binding models with state-of-the-art mathematical algorithms... -
16
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.
-
17
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. -
18
Runge
Runge is an Interactive Solver for Systems of Differential Equations
Runge is an Interactive Solver for Systems of Ordinary Differential Equations. It solves initial value problem (aka Cauchy problem). Few advantages Runge provides: It's fast. It utilizes BLAS and LAPACK libraries optimized for modern multi-core processors. It's interactive. It allows you to start a solution by mouse click on a plane. It's precise. -
19
EasyCP
The easiest C++ way to deal with constraints !
EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job ! -
20
Dantzig-Wolfe Solver
An implementation of Dantzig-Wolfe decomposition built upon GLPK
An implementation of Dantzig-Wolfe decomposition built upon the GNU Linear Programming Kit. This is a command line tool for solving properly decomposed linear programs. There are several examples and some documentation to guide the use of this solver. Forked over to GitHub (see link). -
21
makedoku
Command line sudoku generator and solver. It uses opencl or openmp.
Command line sudoku generator and solver. It uses opencl or openmp to solve and generate grids. Each generated grid has an unique solution and the number of givens can be specified as parameter. -
22
Sudoku generator/solver/analyzer written in Java (English and German). Lots of human style techniques (singles, subsets, LCs, fish, wings, uniqueness, coloring, chains, ALS), powerful analyzer (manage multiple solutions for one sudoku). Includes Learning and training modes and a booklet printer.
-
23
-
24
ASCEND is a modelling environment and solver for large or small systems of non-linear equations, for use in engineering, thermodynamics, chemistry, physics, mathematics and biology. Solvers for both steady and dynamic (NLA & DAE) problems, are provid
-
25
* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol