solver

Here are 1,018 public repositories matching this topic...

kiegroup / optaplanner

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

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

Updated Oct 13, 2022
Java

coin-or / pulp

Sponsor

Star

A python Linear Programming API

python solver constraints pulp mip

Updated Oct 11, 2022
Python

osqp / osqp

Star

The Operator Splitting QP Solver

machine-learning control optimization svm solver lasso portfolio-optimization numerical-optimization quadratic-programming convex-optimization model-predictive-control

Updated Oct 12, 2022
C++

ChrisTheCoolHut / Zeratool

Star

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

solver ctf shellcode angr buffer-overflow aeg

Updated Jul 29, 2022
Python

VROOM-Project / vroom

Star

Vehicle Routing Open-source Optimization Machine

optimization solver vehicle-routing-problem vrp logistics tsp delivery travelling-salesman cvrp vroom pickup vrptw pdptw

Updated Oct 7, 2022
C++

brinesoftwares / Flutter-AI-Rubik-cube-Solver

Star

Flutter-Python rubiks cube solver.

android python ai solver image-processing ml ios-app flutter rubiks-cube color-classification

Updated Jan 16, 2021
Dart

tromp / cuckoo

Star

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

graph solver proof-of-work bounties cuckoo-cycle

Updated Dec 4, 2021
C++

PatWie / CppNumericalSolvers

Star

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

Updated Aug 13, 2022
C++

bupticybee / TexasSolver

Star

🚀 A very efficient Texas Holdem GTO solver ♠️

♥️

♣️

♦️

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

Updated Jul 20, 2022
C++

chocoteam / choco-solver

Star

An open-source Java library for Constraint Programming

java csp solver constraint-satisfaction-problem constraints constraint-programming constraint-solver copr constraint-optimisation-problem

Updated Oct 13, 2022
Java

asc-community / AngouriMath

Star

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

Updated Sep 28, 2022
C#

bupticybee / TexasHoldemSolverJava

Star

A Java implemented Texas holdem and short deck Solver

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

Updated Oct 5, 2022
Java

QIN2DIM / hcaptcha-challenger

Star

🥂 Gracefully face hCaptcha challenge with YOLOv6(ONNX) embedded solution.

solver yolo opencv-python onnx challenges-solved hcaptcha onnx-models yolov5 hcaptcha-solver yolov6 pluggable-onnx-model

Updated Oct 13, 2022
Python

jump-dev / Convex.jl

Star

A Julia package for disciplined convex programming

julia solver convex-optimization

Updated Oct 8, 2022
Julia

apache / commons-math

Star

Miscellaneous math-related utilities

java integration math clustering optimization interpolation solver least-squares fitting polynomial stat transforms

Updated Oct 11, 2022
Java

jiggzson / nerdamer

Star

a symbolic math expression evaluator for javascript

javascript latex integration calculus algebra math solver equation symbolic solve-equations fraction expressions differentiation fractions substitutions

Updated Jul 26, 2022
JavaScript

wangkanai / wangkanai

Star

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 responsive detection solver

Updated Oct 13, 2022
JavaScript

jhu-lcsr / handeye_calib_camodocal

Star

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.