GitHub topics: solver
guylangston/SokoSolve
Sokoban puzzle game and solver
Language: C# - Size: 3.49 MB - Last synced at: about 11 hours ago - Pushed at: about 11 hours ago - Stars: 16 - Forks: 3
ScheduleOpt/optalcp-js-bin-preview
OptalCP binaries for JavaScript (preview version)
Size: 13.3 MB - Last synced at: about 12 hours ago - Pushed at: about 13 hours ago - Stars: 1 - Forks: 0
ScheduleOpt/optalcp-benchmarks
Benchmarks, demos and utilities for OptalCP solver
Language: Scheme - Size: 200 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 3 - Forks: 1
OCamlPro/owi
Symbolic execution for Wasm, C, C++, Rust and Zig
Language: OCaml - Size: 19.8 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 224 - Forks: 32
HubertBertling/sudokuTrainer
This app is a trainer for classic Sudoku. The trainer supports the player so that he is finally guaranteed to solve his puzzle, sometimes without help, sometimes with the help of the solver. When the solver performs a solution step, it displays the logical conclusion rule applied.
Language: JavaScript - Size: 4.22 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 0
PyEllips/pyElli
An open source ellipsometry analysis tool for reproducible and comprehensible building of optical models.
Language: Jupyter Notebook - Size: 9.91 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 24 - Forks: 11
tromp/cuckoo
a memory-bound graph-theoretic proof-of-work system
Language: C++ - Size: 12.9 MB - Last synced at: about 19 hours ago - Pushed at: 30 days ago - Stars: 836 - Forks: 175
leolmi/sudokulab
A place to test, play and generate sudoku puzzles.
Language: TypeScript - Size: 31.1 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1 - Forks: 0
AI4Finance-Foundation/RLSolver
Solvers for NP-hard and NP-complete problems with an emphasis on high-performance GPU computing.
Language: Python - Size: 60.9 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 151 - Forks: 35
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.
Language: C# - Size: 34 MB - Last synced at: 2 days ago - Pushed at: 13 days ago - Stars: 588 - Forks: 86
Salusoft89/planegcs
A webassembly wrapper for FreeCAD's 2D geometric solver.
Language: C++ - Size: 3.07 MB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 53 - Forks: 11
odtheking/Odin
Odin is a Minecraft Forge mod for Hypixel Skyblock.
Language: Kotlin - Size: 35.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 146 - Forks: 65
VROOM-Project/vroom
Vehicle Routing Open-source Optimization Machine
Language: C++ - Size: 3.85 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,475 - Forks: 359
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.
Language: Java - Size: 256 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,367 - Forks: 137
raveriss/Rubik
Résolveur de Rubik’s Cube 3×3×3 en Python optimisé pour la FMC (Fewest Moves Challenge)
Size: 2.93 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
fvcrusher/fvcrusher.github.io
Formal Verification simplifier
Language: HTML - Size: 157 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
acados/acados
Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control
Language: C - Size: 43.6 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,005 - Forks: 275
david-cattermole/mayaMatchMoveSolver
A Bundle Adjustment solver for MatchMove related tasks.
Language: Python - Size: 51.8 MB - Last synced at: about 13 hours ago - Pushed at: 6 days ago - Stars: 109 - Forks: 29
andrianllmm/byteblast
A BlockBlast clone and solver in Pygame
Language: Python - Size: 2.18 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0
lhitori/uxm
Unusable eXpression Manager
Language: OCaml - Size: 32.2 KB - Last synced at: 3 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
fedemagnani/optimization-solvers
Numerical optimization solvers for unconstrained and simple-bounds constrained convex optimization problems in Rust
Language: Rust - Size: 10.1 MB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 10 - Forks: 0
LambdaAlpha/airlang
The document is a bit outdated because the language is still rapidly developing.
Size: 222 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 4 - Forks: 0
PyVRP/PyVRP
Open-source, state-of-the-art vehicle routing problem solver in an easy-to-use Python package.
Language: Python - Size: 11.8 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 419 - Forks: 76
joe-stifler/TP-EM423
Projeto prático da disciplina EM423 - Resistência dos Materiais ministrada pelo professor Fabio Mazzariol Santiciolli - Unicamp
Language: MATLAB - Size: 4.21 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0
Xewdy444/Playwright-reCAPTCHA
A Python library for solving reCAPTCHA v2 and v3 with Playwright
Language: Python - Size: 457 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 370 - Forks: 49
apache/commons-math
Apache Commons Math
Language: Java - Size: 28 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 612 - Forks: 367
cvxgrp/scs
Splitting Conic Solver
Language: C - Size: 11.3 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 571 - Forks: 138
LambdaAlpha/airlang_rs
It is designed to be a universal, scalable and optimal programming language for problem-solving.
Language: Rust - Size: 2.72 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 12 - Forks: 0
osqp/OSQP.jl
Julia interface for OSQP: The Operator Splitting QP Solver
Language: Julia - Size: 445 KB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 72 - Forks: 25
osqp/osqp-matlab
Matlab interface for OSQP
Language: MATLAB - Size: 422 KB - Last synced at: 2 days ago - Pushed at: 16 days ago - Stars: 50 - Forks: 25
osqp/osqp-python
Python interface for OSQP
Language: Python - Size: 27.7 MB - Last synced at: about 17 hours ago - Pushed at: 5 days ago - Stars: 117 - Forks: 41
SAFRAN-LAB/HODLR
A fast, accurate direct solver and determinant computation for dense linear systems
Language: C++ - Size: 8.94 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 158 - Forks: 53
Tosox/Sudoku-Solver
CLI based Sudoku Solver that solves a Sudoku recursively
Language: Java - Size: 15.6 KB - Last synced at: about 9 hours ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
martinjrobins/diffsol
ODE solver library in Rust
Language: Rust - Size: 4.87 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 65 - Forks: 7
rpm-software-management/libdnf
Package management library.
Language: C++ - Size: 14.9 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 191 - Forks: 145
python-hydro/pyro2
A framework for hydrodynamics explorations and prototyping
Language: Jupyter Notebook - Size: 140 MB - Last synced at: 5 days ago - Pushed at: 4 months ago - Stars: 316 - Forks: 126
Skytils/SkytilsMod
Skytils is a Hypixel Skyblock mod! Be careful, malicious copies are distributed across GitHub. Confirm on discord.gg/skytils (807302538558308352)
Language: Kotlin - Size: 35.3 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 1,355 - Forks: 457
onera/Fast
Fast CFD solver
Language: Fortran - Size: 129 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 18 - Forks: 7
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.
Language: Java - Size: 233 MB - Last synced at: 7 days ago - Pushed at: 13 days ago - Stars: 3,386 - Forks: 958
Cirzen/StrandsSolver
A WPF implementation of a word solver for word puzzle Strands
Language: C# - Size: 1.91 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0
Stefanuk12/capbuster
A http client agnostic wrapper around various captcha solving providers for various captcha types with a unified interface.
Language: Rust - Size: 27.3 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0
chocoteam/choco-solver
An open-source Java library for Constraint Programming
Language: Java - Size: 83.4 MB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 721 - Forks: 146
xcsp3team/ACE
Constraint Solver ACE
Language: Java - Size: 93.6 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 30 - Forks: 5
xcsp3team/cosoco
COmpact SOlver for COnstrained problems
Language: C++ - Size: 1.05 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 12 - Forks: 3
littleredcomputer/odex-js
Bulirsch-Stoer integration of systems of ordinary differential equations in JavaScript
Language: TypeScript - Size: 430 KB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 56 - Forks: 5
ROCm/hipfort
Fortran interfaces for ROCm libraries
Language: Fortran - Size: 25.5 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 77 - Forks: 41
akarakesh7/letter-boxed-solver
Letter boxed answer and solver
Language: HTML - Size: 9.77 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0
ROCm/rocALUTION
Next generation library for iterative sparse solvers for ROCm platform
Language: C++ - Size: 10.8 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 81 - Forks: 43
convexbrain/Totsu
First-order conic solver for convex optimization problems
Language: Rust - Size: 5.21 MB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 50 - Forks: 4
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.
Language: TypeScript - Size: 30 MB - Last synced at: 7 days ago - Pushed at: 25 days ago - Stars: 116 - Forks: 26
qpsolvers/qpsolvers
Quadratic programming solvers in Python with a unified API
Language: Python - Size: 5.47 MB - Last synced at: 9 days ago - Pushed at: 17 days ago - Stars: 671 - Forks: 95
pyamg/pyamg
Algebraic Multigrid Solvers in Python
Language: Python - Size: 11.4 MB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 607 - Forks: 116
asc-community/AngouriMath
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
Language: C# - Size: 22.4 MB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 797 - Forks: 78
betaiotazeta/AutoShiftPlanner
Auto Shift Planner is a user-friendly desktop application that can design detailed employees shift schedules and solve them automatically while meeting the maximum satisfaction of constraints.
Language: Java - Size: 24.4 MB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 56 - Forks: 24
ptal/pcp
Constraint programming in Rust
Language: Rust - Size: 598 KB - Last synced at: about 9 hours ago - Pushed at: over 1 year ago - Stars: 107 - Forks: 8
optimatika/ojAlgo
oj! Algorithms
Language: JetBrains MPS - Size: 74.8 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 480 - Forks: 213
emsr/cxx_polynomial
A C++ polynomials and related algorithms.
Language: C++ - Size: 3.04 MB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 9 - Forks: 2
stefan-zobel/math-base
Elementary math utilities with a focus on random number generation, non-linear optimization, interpolation and solvers
Language: Java - Size: 466 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0
liffiton/PyMiniSolvers
A Python API for the MiniSat and MiniCard constraint solvers.
Language: C++ - Size: 2.39 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 21 - Forks: 6
d-plaindoux/apacen
Constraint logic programming language
Language: Kotlin - Size: 146 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 2 - Forks: 0
TomerAberbach/cipherly
🕵️ An automated cryptogram solver.
Language: TypeScript - Size: 28.3 MB - Last synced at: 2 days ago - Pushed at: 13 days ago - Stars: 3 - Forks: 0
sosy-lab/java-smt
JavaSMT - Unified Java API for SMT solvers.
Language: Java - Size: 126 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 226 - Forks: 52
SleipnirGroup/Sleipnir
A linearity-exploiting sparse nonlinear constrained optimization problem solver that uses the interior-point method.
Language: C++ - Size: 6.88 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 59 - Forks: 10
pchtsp/orloge
log parser for MIP and LP solvers
Language: Python - Size: 371 KB - Last synced at: 8 days ago - Pushed at: 3 months ago - Stars: 19 - Forks: 0
Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
Language: Julia - Size: 2.18 MB - Last synced at: 4 days ago - Pushed at: about 3 years ago - Stars: 135 - Forks: 14
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.
Language: C - Size: 246 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 576 - Forks: 150
cubing/twsearch
🔍 Twizzle Search — a program to find algs and scrambles for twisty puzzles
Language: Rust - Size: 3.49 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 35 - Forks: 12
prioritizr/prioritizr
Systematic conservation prioritization in R
Language: R - Size: 168 MB - Last synced at: 5 days ago - Pushed at: 11 days ago - Stars: 127 - Forks: 26
TinyMPC/TinyMPC
Model-predictive control for microcontrollers
Language: C++ - Size: 2.24 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 848 - Forks: 108
dilawar/libsoda-cxx
LSODA solver in C++
Language: C++ - Size: 165 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 17 - Forks: 5
Sabaripuvi/Expression-Math
Expression-Math is a web app that lets users evaluate and visualize mathematical expressions easily. With features like step-by-step simplification and graphing, it makes learning math engaging and interactive. 🐙💻
Language: HTML - Size: 22.5 KB - Last synced at: 15 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 0
mdiep/Logician
Logic programming in Swift
Language: Swift - Size: 86.9 KB - Last synced at: 1 day ago - Pushed at: about 5 years ago - Stars: 197 - Forks: 10
tgjohnst/WordLock_Solver
A handy app to solve for all possible words from resettable, word/letter-based combination locks
Language: HTML - Size: 3.53 MB - Last synced at: 5 days ago - Pushed at: 16 days ago - Stars: 1 - Forks: 0
aizej/EasyRLC
Mobile APP for solving any RLC circuit. (with graphs)
Language: Kotlin - Size: 247 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 1 - Forks: 0
cmll21/NYT
This repository contains solvers for two New York Times puzzles: Wordle and Connections.
Language: Python - Size: 195 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 1 - Forks: 0
richoux/GHOST
General meta-Heuristic Optimization Solving Toolkit
Language: C++ - Size: 30.4 MB - Last synced at: 16 days ago - Pushed at: 17 days ago - Stars: 36 - Forks: 5
shlomif/black-hole-solitaire
Solvers and statistics for “Golf” solitaire, “Black Hole” solitaire, “All in a Row” solitaire and related card patience games.
Language: Perl - Size: 1.03 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 5 - Forks: 3
7131/sudoku
Siteswap Sudoku
Language: JavaScript - Size: 749 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0
igromanru/DarkTide-DecodeMinigameSolver
Decode Minigame Solver mod for Warhammer 40,000: Darktide
Language: Lua - Size: 8.13 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0
valekatoz/KoreForge
Kore is a minecraft forge 1.8.9 mod with quality-of-life features (qol) for hypixel skyblock (and much more)
Language: Java - Size: 125 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 10 - Forks: 2
ScheduleOpt/optalcp-js
OptalCP JavaScript API
Language: JavaScript - Size: 462 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0
ptv-logistics/clients-route-optimization-optiflow-api
Clients for the route optimization optiflow api
Language: C# - Size: 646 KB - Last synced at: 16 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0
osqp/osqp
The Operator Splitting QP Solver
Language: C - Size: 57.5 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 1,864 - Forks: 379
jump-dev/Convex.jl
A Julia package for disciplined convex programming
Language: Julia - Size: 12.3 MB - Last synced at: 9 days ago - Pushed at: 18 days ago - Stars: 582 - Forks: 120
Zhengzhong-You/RouteOpt
RouteOpt
Language: C++ - Size: 103 MB - Last synced at: 17 days ago - Pushed at: 18 days ago - Stars: 39 - Forks: 13
nextmv-io/nextroute
Nextmv nextroute VRP solver
Language: Go - Size: 52.2 MB - Last synced at: 7 days ago - Pushed at: 28 days ago - Stars: 19 - Forks: 6
Ultraviolet-Ninja/GradleCenturion
The KTANE Centurion Manual but in Java
Language: Java - Size: 21.9 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 5 - Forks: 1
EndorphinHQ/solver-vzlom-screen
Launching Solver on your system
Language: HTML - Size: 19.5 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0
scipopt/JSCIPOpt
Java interface for the SCIP Optimization Suite
Language: Java - Size: 235 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 65 - Forks: 36
HossamSaberX/RectifierSolver
Accurately calculate and visualize rectifier circuit parameters for various configurations including half-wave, full-wave, controlled and uncontrolled rectifiers with RLE loads.
Language: JavaScript - Size: 554 KB - Last synced at: 20 days ago - Pushed at: 21 days ago - Stars: 3 - Forks: 1
smack42/ColorFill
ColorFill - yet another Flood-It clone (game and solver algorithm)
Language: Java - Size: 79.7 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 8 - Forks: 0
areenberg/MDPSolver
A fast solver for Markov Decision Processes
Language: Python - Size: 23 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 6 - Forks: 1
coin-or/pulp
A python Linear Programming API
Language: Python - Size: 95.2 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 2,257 - Forks: 411
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.
Language: Julia - Size: 7.55 MB - Last synced at: about 17 hours ago - Pushed at: 4 months ago - Stars: 296 - Forks: 41
TemariVirus/perfect-tetris
Blazingly fast Tetris perfect clear solver with low RAM usage
Language: Zig - Size: 241 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
sarperavci/GoogleRecaptchaBypass
Solve Google reCAPTCHA in less than 5 seconds! 🚀
Language: Python - Size: 3.67 MB - Last synced at: 23 days ago - Pushed at: 2 months ago - Stars: 1,188 - Forks: 195
PatWie/CppNumericalSolvers
a lightweight header-only C++17 library of numerical optimization methods for (un-)constrained nonlinear functions and expression templates
Language: C++ - Size: 694 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 903 - Forks: 204
cfsolver/js
papergames-io Connect 4 solver Javascript
Language: JavaScript - Size: 25.4 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0
taylordotfish/knsolve
Solver for the puzzle game Kanoodle
Language: C++ - Size: 131 KB - Last synced at: 14 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0
noCaptchaAi/NoCaptcha-Ai-Browser-Extension
qCAPTCHA Solver, reCaptcha v2, OCR Captcha. Chrome-Firefox Extension
Size: 43.9 KB - Last synced at: 23 days ago - Pushed at: 26 days ago - Stars: 318 - Forks: 23
