Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with solver

A curated list of projects in awesome lists tagged with solver .

https://github.com/apache/incubator-kie-optaplanner

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

artificial-intelligence branch-and-bound constraint-programming constraint-solver constraints employee-rostering java local-search mathematical-optimization metaheuristics optimization rostering scheduling simulated-annealing solver tabu-search traveling-salesman

Last synced: 22 Dec 2025

https://github.com/coin-or/pulp

A python Linear Programming API

constraints mip pulp python solver

Last synced: 16 May 2025

https://coin-or.github.io/pulp/

A python Linear Programming API

constraints mip pulp python solver

Last synced: 07 May 2025

https://github.com/bupticybee/texassolver

🚀 A very efficient Texas Holdem GTO solver :spades::hearts::clubs::diamonds:

game-theory game-theory-algorithms gto holdem-poker piosolver poker-ai shortdeck solver texas-holdem texas-holdem-poker

Last synced: 14 May 2025

https://github.com/bupticybee/TexasSolver

🚀 A very efficient Texas Holdem GTO solver :spades::hearts::clubs::diamonds:

game-theory game-theory-algorithms gto holdem-poker piosolver poker-ai shortdeck solver texas-holdem texas-holdem-poker

Last synced: 26 Mar 2025

https://github.com/timefoldai/timefold-solver

The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

ai artificial-intelligence constraint-programming constraint-solver cvrp employee-scheduling java kotlin maintenance-scheduling operations-research optimization-algorithms planning-algorithms python resource-allocation solver solver-library vehicle-routing vehicle-routing-problem vrp vrptw

Last synced: 13 May 2025

https://github.com/christhecoolhut/zeratool

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

aeg angr buffer-overflow ctf shellcode solver

Last synced: 15 May 2025

https://github.com/ChrisTheCoolHut/Zeratool

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

aeg angr buffer-overflow ctf shellcode solver

Last synced: 13 Mar 2025

https://github.com/TimefoldAI/timefold-solver

The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

ai artificial-intelligence constraint-programming constraint-solver cvrp employee-scheduling java kotlin maintenance-scheduling operations-research optimization-algorithms planning-algorithms python resource-allocation solver solver-library vehicle-routing vehicle-routing-problem vrp vrptw

Last synced: 05 Apr 2025

https://github.com/Skytils/SkytilsMod

Skytils is a Hypixel Skyblock mod! Be careful, malicious copies are distributed across GitHub. Confirm on discord.gg/skytils (807302538558308352)

diana dungeons griffin hypixel hypixel-skyblock hypixel-skyblock-dungeons mod mods skyblock skytils skytils-hypixel skytils-mod skytilsmod solver st st-mod

Last synced: 10 Apr 2025

https://github.com/bupticybee/texasholdemsolverjava

A Java implemented Texas holdem and short deck Solver

holdem-poker piosolver shortdeck solver texas-holdem texas-holdem-poker

Last synced: 12 Apr 2025

https://github.com/bupticybee/TexasHoldemSolverJava

A Java implemented Texas holdem and short deck Solver

holdem-poker piosolver shortdeck solver texas-holdem texas-holdem-poker

Last synced: 27 Mar 2025

https://github.com/tromp/cuckoo

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

bounties cuckoo-cycle graph proof-of-work solver

Last synced: 16 Dec 2025

https://github.com/asc-community/angourimath

New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

algebra arbitrary-precision calculus computer-algebra csharp differentiation equations fsharp inequality integration jupyter latex math nuget parse parsing solver symbolic-manipulation symbolic-math

Last synced: 16 May 2025

https://github.com/asc-community/AngouriMath

New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

algebra arbitrary-precision calculus computer-algebra csharp differentiation equations fsharp inequality integration jupyter latex math nuget parse parsing solver symbolic-manipulation symbolic-math

Last synced: 15 Mar 2025

https://github.com/pyamg/pyamg

Algebraic Multigrid Solvers in Python

amg conda krylov multigrid pyamg python solver sparse-matrix

Last synced: 20 Oct 2025

https://github.com/jump-dev/convex.jl

A Julia package for disciplined convex programming

convex-optimization julia solver

Last synced: 16 Dec 2025

https://github.com/wangkanai/wangkanai

Wangkanai is a collection of ASP.NET Core libraries that was developed internally over time and share common usage that would benefit everyone in the open source community as a whole.

analytics detection responsive solver

Last synced: 14 May 2025

https://github.com/llnl/sundials

Official development repository for SUNDIALS - a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. Pull requests are welcome for bug fixes and minor changes.

dae-solver high-performance-computing hpc math-physics nonlinear-equation-solver ode-solver parallel-computing radiuss scientific-computing sensitivity-analysis solver time-integration

Last synced: 15 May 2025

https://github.com/jhu-lcsr/handeye_calib_camodocal

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.

calibration camera camera-calibration dual-quaternion hand-eye-calibration kinect kinect-v2 kinematics orientations rgbd robot robot-arm robotics ros rotation solver translation

Last synced: 14 Nov 2025

https://github.com/b-inary/wasm-postflop

[Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance (web browser version)

game-theory gto poker solver texas-holdem texas-holdem-poker webassembly

Last synced: 29 Dec 2025

https://github.com/precise-simulation/featool-multiphysics

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

cad-modeling cae cfd engineering featool-multiphysics-toolbox fem fenics finite-element-analysis geometry gmsh gui matlab multiphysics openfoam pde physics-simulation simulation solver su2 toolbox

Last synced: 16 May 2025

https://github.com/zzllrr/mather

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

algebra discrete-mathematics educational-software formulae geek geometry linear-algebra math math-library mathematics maths offline offline-app solve solve-equations solve-puzzles solver topology visualization-tools webapp

Last synced: 30 Mar 2025

https://github.com/xewdy444/playwright-recaptcha

A Python library for solving reCAPTCHA v2 and v3 with Playwright

asyncio library playwright recaptcha solver speech-to-text

Last synced: 15 May 2025

https://github.com/ldez/cubejs

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

coffeescript javascript rubiks-cube scrambler solver

Last synced: 12 Apr 2025

https://github.com/oxfordcontrol/cosmo.jl

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

conic-programs convex-optimization julia-language optimization sdp semidefinite-programming solver

Last synced: 15 May 2025

https://github.com/b-inary/desktop-postflop

[Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance

game-theory gto poker solver texas-holdem texas-holdem-poker

Last synced: 29 Dec 2025

https://github.com/conda/conda-libmamba-solver

The libmamba based solver for conda.

conda libmamba mamba solver

Last synced: 16 May 2025

https://github.com/mdiep/logician

Logic programming in Swift

constraints kanren logic-programming solver swift

Last synced: 03 Jul 2025

https://github.com/mdiep/Logician

Logic programming in Swift

constraints kanren logic-programming solver swift

Last synced: 13 May 2025

https://github.com/ryuzakih/cloudflaresolverre

Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET Standard library.

bypass captcha challenge cloudflare cloudflaresolver csharp ddos delegatinghandler javascript js library protection recaptcha scraper scraping-websites solver utilities

Last synced: 05 Apr 2025

https://github.com/cheind/py-lapsolver

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

linear-assignment-problem python solver

Last synced: 16 May 2025

https://github.com/fancompute/angler

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

adjoint adjoint-sensitivities electromagnetic fdfd frequency-domain inverse-problems mkl nonlinear-devices optics optimization photonics sensitivity-analysis simulation solver

Last synced: 08 May 2025

https://github.com/coin-or/shot

A solver for mixed-integer nonlinear optimization problems

global-optimization minlp optimization optimization-library optimization-methods solver

Last synced: 19 Jun 2025

https://github.com/jvail/glpk.js

GLPK for browser & node

glpk lp milp solver

Last synced: 06 Apr 2025

https://github.com/Tnze/ffxiv-best-craft

A crafting simulator and solver for FF14 with friendly GUI.

craft crafting-simulator ff14 ffxiv simulator solver

Last synced: 13 May 2025

https://github.com/kamilmielnik/scrabble-solver

Free, open-source, cross-platform, multi-language analysis tool for Scrabble, Scrabble Duel, Super Scrabble, Letter League, Literaki, and Kelimelik. Quickly find the top-scoring words using the given board and tiles. Available in 8 languages.

crossword discord-letter-league kelimelik letter-league literaki literaxx next nextjs nodejs quackle react rtl scrabble scrabble-dictionary scrabble-duel scrabble-game scrabble-solver scrabble-word-finder solver super-scrabble

Last synced: 11 Dec 2025

https://github.com/cavallium/warppi

WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)

algebraic-calculations calculator cas-calculator diy java raspberry-pi scientific-calculator simplification solver

Last synced: 16 Mar 2025

https://github.com/aerospaceresearch/visma

VISual MAth - an equation solver and visualizer

math solver visma

Last synced: 30 Apr 2025

https://github.com/gbury/msat

A modular sat/smt solver with proof output.

clause formal-methods formula modular ocaml sat-solver smt-solver solver

Last synced: 22 Apr 2025

https://github.com/body-alhoha/turnaround

A browser based solver for Turnstile (Cloudflare's captcha)

captcha cloudflare solver turnstile

Last synced: 09 Apr 2025

https://github.com/kotarot/rectangle-packing-solver

A solver to find a solution of the 2D rectangle packing problem by simulated annealing (SA) optimization.

floorplan optimization placement python rectangle-packing sequence-pair simulated-annealing solver

Last synced: 14 May 2025

https://github.com/rocm/rocalution

Next generation library for iterative sparse solvers for ROCm platform

cplusplus cuda fortran mpi opencl openmp solver sparse

Last synced: 05 Apr 2025

https://github.com/rocm/hipfort

Fortran interfaces for ROCm libraries

blas cuda fft fortran gpgpu gpu hip interoperability random rocm solver sparse

Last synced: 05 Apr 2025

https://github.com/rladstaetter/sudokufx

AR Sudoku grabber and solver using JavaCV, JavaFX and Scala

augmented-reality javacv javafx jdk11 opencv scala solver sudoku sudoku-grabber

Last synced: 31 Oct 2025

https://github.com/llnl/pyranda

A Python driven, Fortran powered Finite Difference solver for arbitrary hyperbolic PDE systems. This is the mini-app for the Miranda code.

finite-elements fortran proxy-application python solver

Last synced: 06 Apr 2025

https://github.com/scipopt/jscipopt

Java interface for the SCIP Optimization Suite

interface java minlp scip solver swig

Last synced: 06 Apr 2025

https://github.com/Izaron/Nonograms

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

nonogram solver

Last synced: 10 May 2025

https://github.com/izaron/nonograms

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

nonogram solver

Last synced: 19 Aug 2025

https://github.com/littleredcomputer/odex-js

Bulirsch-Stoer integration of systems of ordinary differential equations in JavaScript

differential-equations ode ode-solver odex solver

Last synced: 16 Mar 2025

https://github.com/qnighy/ipc_solver

O(N log N)-space IPC solver in OCaml

logic ocaml solver twitter

Last synced: 30 Apr 2025

https://github.com/lovasoa/salesman.js

Solves the traveling salesman problem using simulated annealing.

salesman solver

Last synced: 24 Mar 2025

https://github.com/convexbrain/totsu

First-order conic solver for convex optimization problems

conic convex optimization rust solver

Last synced: 17 Apr 2025

https://github.com/convexbrain/Totsu

First-order conic solver for convex optimization problems

conic convex optimization rust solver

Last synced: 09 May 2025

https://github.com/vittoriopiotti/subnettingsolver-java

Soluzione software per la risoluzione degli esercizi sulle reti. Identifica il tipo di IP, verifica se due IP sono della stessa rete, effettua la FLSM e la VLSM

awt flatlaf flsm gui java software solver subnet subnetting subnetting-ipv4-addresses swing vlsm vlsm-calculator

Last synced: 22 Aug 2025

https://github.com/vittoriopiotti/subnettingsolver-bootstrap

Sito web per la risoluzione degli esercizi sulle reti. Identifica il tipo di IP, verifica se due IP sono della stessa rete, effettua la FLSM e la VLSM

bootstrap css flsm javascript solver subnet subnetting subnetting-ipv4-addresses vlsm vlsm-calculator web website

Last synced: 11 Apr 2025

https://github.com/mudachyo/auto-duolingo

Скрипт для автоматизации обучения на Duolingo | Script for automating training on Duolingo

auto automation bot duolingo javascript language-learning script scripts solve solver tampermonkey userscript userscripts violentmonkey xp-farming

Last synced: 21 Jun 2025

https://github.com/timefoldai/timefold-solver-python

Timefold Solver is an AI constraint solver for Python to optimize the Vehicle Routing Problem, Employee Rostering, Maintenance Scheduling, Task Assignment, School Timetabling, Cloud Optimization, Conference Scheduling, Job Shop Scheduling, Bin Packing and many more planning problems.

employee employee-scheduling maintenance-scheduling metaheuristic-optimisation operational-ai planning-algorithms python resource-allocation-algorithm solver vehicle-routing vrptw

Last synced: 09 Aug 2025

https://github.com/philmain28/philsol

Simple python library for calculating the modes of electromagnetic waveguides using finite difference frequency domain method.

eigensolver electromagnetism fdfd mode solver waveguide

Last synced: 08 May 2025

https://github.com/dvorka/shifts-solver

Finds a solution to fitting employees with preferences in a schedule for shifts-based operation (GWT, Google AppEngine).

employee-management google-appengine gwt optimization planning schedule solver

Last synced: 21 Mar 2025

https://github.com/etmc/tmLQCD

tmLQCD is a freely available software suite providing a set of tools to be used in lattice QCD simulations. This is mainly a HMC implementation (including PHMC and RHMC) for Wilson, Wilson Clover and Wilson twisted mass fermions and inverter for different versions of the Dirac operator. The code is fully parallelised and ships with optimisations for various modern architectures, such as commodity PC clusters and the Blue Gene family.

clover ddalphaamg hmc lqcd multigrid nf211 phmc qphix quda rhmc solver twisted wilson

Last synced: 26 Mar 2025