Search

A contact solver for physics-based simulations involving 👚 shells, 🪵 solids, 🪢 rods, 🧱 rigid bodies and ⏳ sand.

Open-source explicit finite element solver for simulating crashes, impacts, explosions, and other dynamic events.

The AI-native JSON Gantt chart engine. Dependency-free interactive timelines with React, script-tag, CLI, topological DAG solver, and formal JSON schema.

The quip network mining stack. This includes a coordinator and links all of the official quip network miners.

OplaPlanner has moved to https://github.com/apache/incubator-kie-drools. This repository is archived. OptaPlanner is an AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

An advanced SAT solver

openEMS is a free and open-source electromagnetic field solver using the EC-FDTD method.

Python bindings to picosat (a SAT solver)

A Julia interface to the Ipopt nonlinear solver

A large scale non-linear optimization library

SRI Yices SMT Solver

Double Dummy Solver written in C++ for the Bridge Card Game

FLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.

🦉 A grounder and solver for logic programs.

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

A JuMP-based Nonlinear Integer Program Solver

Unstructured grid fluid solver for the Kynema project

Captcha solver extension for humans, available for Chrome, Edge and Firefox

COIN-OR Linear Programming Solver

COIN-OR Branch-and-Cut solver

Exascale multiphase flow solver — 2025 Gordon Bell Prize Finalist | 200T grid points on 43K+ GPUs

AMReX-based structured grid fluid solver

A sudoku solver using brute forces and logical techniques.

A Vehicle Routing Problem solver

Large-scale, multi-GPU capable, kernel solver

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

A collection of tutorials and recipes to use optimization for winning Fantasy Premier League :)

With Uno, finally take full control of your SQP/barrier solver for nonlinearly constrained optimization

OpenRadioss is a powerful, industry-proven finite element solver for dynamic event analysis

High-performance asynchronous Douyin(抖音) TikTok Xiaohongshu(小红书) Kuaishou(快手) Weibo(微博) Instagram YouTube(油管) Twitter(X) Captcha Solver(验证码解决器) Temp Mail(临时邮箱) API(接口).