Search Results for "solver" - Page 7
Sort By:
Showing 515 open source projects for "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.
-
$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.
-
1
Win-Brash
A Windows Native Bourne Shell Interpreter
Win-Brash is a recoding, from scratch, of the Bourne shell as a native Microsoft Windows multi-threaded command line application. It uses Bourne shell syntax but recognizes Windows file names. The TAB key helps convert Unix style pathnames to fully valid windows pathnames. It also adds missing backslashes -- to reduce the need to always type two. For Documentation see: http://www.bordoon.com/brash To give brash.exe a try, use the download link to get winbrash-1.2.16.zip. Unzip... -
2
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. -
3
GLPK for Windows
Windows binaries for the GNU Linear Programming Kit (GLPK)
GLPK 4.65 (GNU Linear Programming Kit, http://www.gnu.org/software/glpk/) is a solver for large-scale linear programming (LP), and mixed integer programming (MIP). This project supplies the most recent Windows executables - 2018-03-17. Linux and OSX users should download the source distribution from http://ftp.gnu.org/gnu/glpk -
4
PyMathProg
An easy and flexible mathematical programming environment for Python.
PyMathProg is a Python reincarnation of AMPL and GNU MathProg modeling language, implemented in pure Python, connecting to GLPK via swiglpk. Create, optimize, report, change and re-optimize your model with Python, easily integrate database, plotting, etc. -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
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 -
6
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are provided. ... -
7
OpenHAM
Open source heat, air and moisture transport model
*WARNING*: Development on SF discontinued, moved to https://github.com/ghorwin/OpenHAM. An open source transport model implementation for heat, air and moisture transport in porous media. Console-based, cross-platform solver with bindings to pre- and postprocessing software. A reference implementation for the EN 15026 standard. -
8
Potassco, the Potsdam Answer Set Solving Collection bundles tools for Answer Set Programming developed at the University of Potsdam, among them, the answer set solver clasp, the grounder gringo, and their combination clingo.
-
9
Emmanuelle
Solver for some games
that is no know now. -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
10
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. -
11
Nifty Sim is a high-performance nonlinear finite element solver, developed at University College London. A key feature is the option of GPU-based execution, which allows the solver to significantly out-perform equivalent commercial packages.
-
12
TU Calc
Simple tool for numerical calculation
TU Calc is a modular tool that aims to gather numerical methods for solution of mathematical problems. Interacting with the user through a GUI that is analogous to the windows desktop. -
13
jalicanto
Traveling Salesman Problem "window time based" aproximate solver
Time based Traveling salesman problem solver. Using iterated local search algorithm, implements xkick perturbation Programmed in Java. A class to use the TSP Suite(Thomas Weise, Raymond Chiong, J ¨org L¨assig, Ke Tang, Shigeyoshi Tsutsui, Wenxiang Chen, Zbigniew Michalewicz, Xin Yao, Benchmarking Optimization Algorithms: An Open Source Framework for the Traveling Salesman Problem. 2014.),is implemented. -
14
High Speed Parallel Imaging (HSPI)
HSPI does parallel capture and sky surveys.
HSPI offers to the astronomer the possibility to capture pictures from the CCD camera in a fast and intuitive way, keeping under control all the instrumentation in posses. HSPI can control the CCD camera, the mount, the focuser, the filter wheel and the dome from a single interface, and not only this: these features can be added on as many observatories and instrumentations you want. HSPI is ASCOM and INDI compatible, so if you want to use particular setups like Linux computers connected... -
15
Coffee-Physics
A simple, lightweight physics engine written in CoffeeScript
...Because it is lightweight, it integrates easily with 2D renderers like Canvas or WebGL, and it is popular in generative art sketches and interactive experiments. The codebase emphasizes readability and hackability so learners can modify the solver, add new behaviors, or swap integrators without wading through engine internals. It’s ideal when you want expressive motion and playful dynamics rather than full rigid-body simulation. -
16
RAtom
solves nonlinear Kohn-Sham equation for the neutral atom.
...Disctretization leads to generalized eigenvalue problem, which is solved by procedures from LAPACK libraries. The program is implemented in C++, it runs as a single thread. The implemented algorithm is described in the following papers: 1. Z. Romanowski, "Adaptive solver of a Kohn-Sham equation for an atom", Modelling Simul. Mater. Sci. Eng. vol. 17, 045001 (2009) 2. Z. Romanowski, "Application of h-adaptive, high order finite element method to solve radial Schrödinger equation", Molecular Physics, vol. 107, pp. 1339-1348 (2009). Further questions: romz@wp.pl -
17
CQU
Decision solver for Counting Quantifiers over Unary Predicates
---------------- cqusat 1.0 ---------------- cqusat is a conbstraint solver decides the satisfiability of a set of sentences containing Counting Quantifiers over Unary predicates. It also accepts Universally quantifies sentences over unary predicates, which are presented in the form of propositional clauses (classical Boolean logic clauses). This implementation employs minisat as the SAT solver. -
18
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 -
19
OpenFVM is a general open source three-dimensional Computational Fluid Dynamics (CFD) solver (for Linux and Windows). It uses the unstructured finite volume method to simulate non-isothermal transient flow. Gmsh is used for pre- and post- processing.
-
20
Ulambator
boundary element based flow solver for microfluidics
Ulambator solves the depth-averaged Stokes equations using a boundary element method. The combination of both reduces the discretization effort from 3D to 1D. Hence the flow solver is well adapted to free interface flows in shallow geometries. The manual and tutorial codes are still being extended. New functions will be made available. For more user information please check http://lfmi.epfl.ch/ulambator -
21
Nigma
A CDCL SAT solver with partial backtracking
-
22
shamak-plus
hello all, i made this project for a start on makeing captcha solver t
this is a project for the blind. -
23
#3SAT Solver: Model Listing
Counts Satisfiable Solutions
#3SAT finds all satisfiable solutions to a 3CNF Formula. This particular solver can count or return all solutions or a hash of them in binary or Ascii format. -
24
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. -
25
Math AI Mockup Expression Parser
Small but powerful, learns formulas and parses expressions swiftly
I spent 8 months from late September to about the end of May working on an expression parser in C# that be taught formulas and learn them sort of like an AI system, also lets you add variables at will. Has full access to all math functions with endless additional variables to solve with or for. Also has memory like a calculator, a converter for DEG/RAD/GRAD, a programming calculator, and a built in console to load a formula by its name rather than searching for it in the list.
