Search Results for "solver"
Sort By:
31 projects for "solver" with 1 filter applied:
-
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.
-
The only CRM built for B2CKlaviyo unifies your customer profiles by capturing every event, and then lets you orchestrate your email marketing, SMS marketing, push notifications, WhatsApp, and RCS campaigns in one place. Klaviyo AI helps you build audiences, write copy, and optimize — so you can always send the right message at the right time, automatically. With real-time attribution and insights, you'll be able to make smarter, faster decisions that drive ROI.
-
1
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.">
-
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
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
4
Library for ion optics, plasma extraction and space charge dominated ion beam transport.
">
-
Effortlessly manage macOS, iOS, iPadOS and tvOS devices across multiple clients and locations.Addigy solutions accelerate Apple adoption in any environment.
-
5
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.
-
6
Jack LIRE (Linked Record)
Quantum universal object system with referencing and genetics
Jack LIRE (Linked Record) is a quantum database-backed life-long text record diary with referencing (linking) between records, and a data library for life-long keeping of files such as documents, photographs, music and more. The diary records are fully searchable. Files can be mentioned in diary records to preserve memories, document knowledge and ideas, and more. Massive numbers of diary records and files can be permanently kept. A database located on one computer can be accessed from... -
7
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
8
JNIZ music notation audio to midi
music composition and notation software, audio to midi converter
The Jniz project is stopped. The new Web version is now JnizWeb hosted on Gitlab (under construction): https://gitlab.com/jniz70/jnizweb/ Demo: https://jniz70.gitlab.io/jnizweb/ Jniz is a piece of software designed for musicians as a support tool to the musical composition. It allows you to build and to harmonize several voices according to the rules of classical harmony. Sound/audio-to-Midi converter: real-time conversion of any monophonic sound (voice, instrument etc.) into... -
9
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. -
IT Asset Management (ITAM) SoftwareDrowning in misplaced IT assets, compliance headaches, and shadow IT? Navigate to clarity with an intuitive IT Asset Management solution. Experience crisp visibility, effortless control, and unshakable security – all while freeing up your budget with optimized software licenses. The best part? It’s easy.
-
10
Quadratic Equation Solver
A CLI for solving quadratic equations
This program uses the quadratic formula to solve Quadratic Equations. -
11
Chemical Kinectics Solver
Basic Chemical Kinetics Solver
The project lives on GitHub - please see: https://github.com/DetlevCM/chemical-kinetics-solver -
12
YAFEMS
Yet Another Finite Element Method Solver
YAFEMS (Yet Another Finite Element Method Solver) is a FEM solver for Linux and WIndows that reads a MED mesh file produced by Salome (http://www.salome-platform.org/) with certain groups created into the mesh, and with the help of an input text file (.yaf), performs a 3D or 2D plane stress or plane strain analysis and creates results in plain text format and in MED format. -
13
mathSuite
Powerful Calculus Environment and Matrices Handling Engine
...Some feature regarding Matrices and Linear Algebra Operations are LU-Factorization, SVD Decomposition, Rank Calculator, Ill Condition Checking and more... There are also a very powerful Linear System Solver and Basic PRELoaded Functions Integrator Engine. -
14
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.
-
15
Acoustic FDTD Solver (AC2D) -- is a software to simulate acoustic wave propagation in two dimensions based on the finite-difference time-domain (FDTD) method.
-
16
DeconvDemo
An image deconvolution / deblur software
DeconvDemo is a Qt & opencv based image deconvolution/ deblur software which is including the spatial and frequency domain solver. image deconvolution / deblur software with non-blind deconvolution algorithm New: Add pregressive non-blined deconvolution Add blind kernel estimation Implemented mehtod: METHOD_WIENER, METHOD_TIKHONOV, METHOD_LUCY_RICHARDSON, METHOD_CONJUGATE_GRADIENT, METHOD_SPARSE_PRIOR, METHOD_GAUSSIAN_PRIOR, METHOD_NAIVE_EDGE_ENHANCEMENT, METHOD_CONVOLUTION, METHOD_PROGRESSIVE, METHOD_BLIND_KERNEL Improving: sparse prior blind deconvolution. ... -
17
Sudoku Solver
Sudoku solving library using bruce-force search algorithm
The SudokuSolver class inside this library is simple and easy-to-use. It uses the bruce-force search algorithm to solve the Sudoku appeared on daily newspapers, books, etc. Continual updates to this library give you easier experiences with Sudoku solving, and can solve other sorts of Sudokus. -
18
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). -
19
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
-
20
Kelvin's Batch Program v9.0(latest)
A simple batch program with many useful functions!
Changelogs: v9 -- Fixed MSCONFIG flooding bug v8 -- Added Adv Control Panel v7 -- Added keepsafe directory secure v6 -- Improved update system v5 -- Added sudoku solver v4 -- Added initializing screen v3 -- Display current version in main menu v2 -- Fixed netplwiz bug v1 -- New build -
21
Sudoku MC
Sudoku solver based on the initial work of Michael Kennett
Console based sudoku solver. It is a modified version of the solver included in the Ubuntu distribution of Linux, and has similar functionality to the original by Michael Kennett. New features: - You interactively can open and save boards with it. - The title of the board can be edited. - Added early contradiction check to detect if the board is unsolvable: 1 2 . | . . . | . . . . . . | 1 2 . | . . . . . . | . . . | 1 2 . -------+-------+------- 2 1 . | . . . | . . . . . . | 2 1 . | . . . . . . | . . . | 2 1 . -------+-------+------- . . . | . . . | . . . . . 2 | . . 1 | . . . . . 1 | . . 2 | ... -
22
Sudoku Solver
A simple sudoku solver !
This program solves sudoku grids, using human techniques and brute force. It is written in c++ using Qt. -
23
Kuhn-Munkres is used inside assignment problem solver application. Instance generator application creates input file for the solver. Checker application verifies the solution computed by the solver. A bash script compiles, executes these apps.
-
24
Crazy Turtle puzzle game solver utility. Other names: CRAZY TURTLE / LE JEU FOU DE LA TORTUE / NAUGHTY TURTLES / ŠAŠAVE KORNJAČE / NAGAJIVE ŽELVICE / SASAVE KORNJACE
-
25
Curious mad fan of sudoku, I've been pretty disappointed to always find programs processing all cases. For us "humans", it's unusable. That's why I've had in mind so far to create one which could help us (giving hints) if we're stumped.