Top 85 solver open source projects

cube.js -- JavaScript library for modeling and solving the 3x3x3 Rubik's Cube

SUNDIALS is a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. This is a mirror of current releases, and development will move here eventually. Pull requests are welcome for bug fixes and minor changes.

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

Logic programming in Swift

A framework for hydrodynamics explorations and prototyping

Quadratic Programming solvers in Python with a unified API

COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.

A fast, accurate direct solver and determinant computation for dense linear systems

Polyglot solutions for www.projecteuler.net mathematical challenges

JavaSMT - Unified Java API for SMT solvers.

HPC solver for nonlinear optimization problems

Frequency-domain photonic simulation and inverse design optimization for linear and nonlinear devices

VISual MAth - an equation solver and visualizer

Fast linear assignment problem (LAP) solvers for Python based on c-extensions

Systematic conservation prioritization in R

A python Linear Programming API

A Bundle Adjustment solver for MatchMove related tasks.

a memory-bound graph-theoretic proof-of-work system

Flutter-Python rubiks cube solver.

The Operator Splitting QP Solver

a lightweight C++17 library of numerical optimization methods for nonlinear functions (Including L-BFGS-B for TensorFlow)

Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems

Vehicle Routing Open-source Optimization Machine

An open-source Java library for Constraint Programming

A Julia package for disciplined convex programming

Easy to use and accurate hand eye calibration which has been working reliably for years (2016-present) with kinect, kinectv2, rgbd cameras, optical trackers, and several robots including the ur5 and kuka iiwa.

Minimal Inverse Kinematics library

Algebraic Multigrid Solvers in Python

a symbolic math expression evaluator for javascript

zzllrr mather(an offline tool for Math learning, education and research)小乐数学，离线可用的数学学习（自学或教学）、研究辅助工具。计划覆盖数学全部学科的解题、作图、演示、探索工具箱。目前是演示Demo版（抛转引玉），但已经支持数学公式编辑显示，部分作图功能，部分学科，如线性代数、离散数学的部分解题功能。最终目标是推动专业数学家、编程专家、教育工作者、科普工作者共同打造出更加专业级的Mather数学工具

Distributed and Graph-based Structure from Motion

A Java implemented Texas holdem and short deck Solver

Open-source symbolic algebra library for C# and F#. One of the most powerful in .NET

OpenNARS for Research 3.0+

A solver for nonlinear, dynamic, stochastic, rational expectations equilibrium models

ConstraintSolver in Julia: Blog posts ->

[INACTIVE] A collection of various machine learning solver. The library is an object-oriented approach (baked with Typescript) and tries to deliver simplified interfaces that make using the algorithms pretty simple.

The Operator Splitting QP Solver

Mine the Genesis Block for your Zcashy altcoin

An open-source solver tool for the Maxwell-Bloch equations.

A very fast japan crosswords (aka nonograms) solver and generator

📦 一个很棒的 clickOutside 库，它解决了 iframe 无法触发 clickOutside 的问题，并且它支持分组绑定处理。A good clickOutside library, which solves the problem that iframe cannot trigger clickOutside, and it supports grouping binding processing.

ROS-compatible Eigen-based Goldfarb-Idnani quadratic programming solver

Adaptive solver for stiff systems of ODEs using semi-implicit Runge-Kutta method of third order

First-order conic solver for convex optimization problems

Large scale convex optimization solvers in julia

A lazy-grounding Answer-Set Programming system

Minesweeper player, solver and analyser in javascript

2D solver for Euler equations in quadrilateral grid, using kinetic flux vector splitting scheme, written in OOP F2003

COIN-OR branch and cut (CBC) bindings for R

Solving a TSP with the CPLEX C++ API.

Lp modeler written in Rust

Rust Bindings to interact with SMTLIB2 compliant solvers

Semidefinite programming optimization solver

Julia Wrapper for CSDP (https://projects.coin-or.org/Csdp/)

FEATool - "Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS, OpenFOAM, SU2 Solver GUI & Multi-Physics Simulation Platform)

Self advection, external force and pressure solve to a velocity field represented by a MaC grid.

Idris tactics for (commutative) monoids

Solves the traveling salesman problem using simulated annealing.

A cloth and soft body simulation library, using position based dynamics.