191 Open source projects that are alternatives of or similar to PyMiniSolvers

An open-source Java library for Constraint Programming

General meta-Heuristic Optimization Solving Toolkit

A python Linear Programming API

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 cloth and soft body simulation library, using position based dynamics.

Systematic conservation prioritization in R

A Python (v3.6.5) package that provides a set of basic functions commonly used in integrated photonics.

The Operator Splitting QP Solver

Vehicle Routing Open-source Optimization Machine

This is a python API for mycobot serial communication.

Minimal Inverse Kinematics library

Algebraic Multigrid Solvers in Python

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

LAMMPS interface for phonon calculations using phonopy

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

A (parametrized) Rust SAT solver originally based on MiniSat

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

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.

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.

Application programming interface of the Cuba Weather project implemented in Python

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

Quadratic Programming solvers in Python with a unified API

A Java implemented Texas holdem and short deck Solver

OpenNARS for Research 3.0+

Simple Python API that that allows you to send texts via SMTP with a best effort approach and process replies via IMAP

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

ConstraintSolver in Julia: Blog posts ->

VISual MAth - an equation solver and visualizer

A Python Library for modeling combinatorial constrained problems

A simple way to use programmatically Autolayout Constraint created in Storyboard.

A Bundle Adjustment solver for MatchMove related tasks.

Python wrapper for WhatsApp Web API websocket communication (based on https://github.com/sigalor/whatsapp-web-reveng)

Flutter-Python rubiks cube solver.

GLPK for browser & node

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

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

A Hypixel Skyblock Utilities mod

A Julia package for disciplined convex programming

The Operator Splitting QP Solver

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

JavaSMT - Unified Java API for SMT solvers.

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

a symbolic math expression evaluator for javascript

A framework for hydrodynamics explorations and prototyping

Distributed and Graph-based Structure from Motion

Package management library.

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

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

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

Conjure: The Automated Constraint Modelling Tool

[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.

Polyglot solutions for www.projecteuler.net mathematical challenges

Mine the Genesis Block for your Zcashy altcoin

A modular sat/smt solver with proof output.

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

HPC solver for nonlinear optimization problems

Postgresql constraints in migrations similiar to ActiveRecord validations

Experimental minisat SAT solver reimplementation in Rust

AR Sudoku grabber and solver using JavaCV, JavaFX and Scala