General satisfiability solver for logic problems
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
tools for processing collected data
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).
Scrabble Solver 2 - Solver
Node.js binding for the HiGHS optimization solver
A tiny dependency solver using topological sorting
A dependency solver for the elm ecosystem
A high density zero-obstacle solver
Scrabble Solver 2 - App
Scrabble Solver 2 - Constants
High speed Cassowary constraint solver in JavaScript.
Scrabble Solver 2 - Types
Scrabble Solver 2 - Configs
Scrabble Solver 2 - Logger
Javascript poker hand solver.
Scrabble Solver 2 - Dictionaries
Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.
Scrabble Solver 2 - Word lists
Scrabble Solver 2 - Word definitions
Read more about this solver here: https://blog.autorouting.com/p/the-intersection-jump-autorouter
Simple sudoku solver
Solve optimization problems.
Nostr-native dispute coordination daemon for the Mostro ecosystem
Sublinear-time solver for RuVector: O(log n) to O(√n) algorithms for sparse linear systems, PageRank, and spectral methods
High-performance sublinear-time solver for asymmetric diagonally dominant systems
Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
Blast stress solver for destructible structures, with optional Rapier3D integration
Krylov subspace and preconditioned iterative solvers for dense and sparse linear systems, with shared and distributed memory parallelism.
A memory-safe interior point optimizer in Rust
FFI bindings to bdd_minisat_all, a BDD-based AllSAT solver
[DO NOT USE — UNDER ACTIVE DEVELOPMENT, NOT PRODUCTION-READY] Captcha solver scaffolding for chromiumoxide-driven browsers. The architecture is in place (vendor solvers, retry-loop iframe walking, VLM provider abstraction, real-WAF bench harness) but the live-vendor success rate is still 0% — Cloudflare Turnstile / hCaptcha / reCAPTCHA detect us at a TLS / CDP fingerprint layer that no flag-based stealth has cleared. Watch the repo; do not depend on this for any real workload.
Mixed Integer Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.
2D constraint-based sketch solver: entities, constraints, and optimization
This numeric solver is an example of the use of Flt.
Shows possible solutions to any problems in the 24 math game
Ruby program that employs graph theory to solve a word matrix puzzle (Boggle).
Newton's method works best when you have a reasonable first guess, while bisection is a better choice when your first guess may be far away (or near a zero slope).
A gem to solve a 2D maze.
Solves Wordle puzzles by ranking next guesses by expected information gain (Shannon entropy of the feedback-pattern distribution). Ships with the real Wordle word lists and a single-line interactive CLI.
Provides a class (CongruenceSolver) for finding the modular zeros of a polynomial (given the coefficients and modulus) and a binary (csolve) to to solve your congruences at the command line.
Gem that uses RuCaptcha API to solver any type of captcha
Want to win at Scrabble while staying inside your comfy command line interface? No problem! Scrabble solver lets you do that.
Program for solving mono-alphabetic simple substitution ciphers, (as in cryptoquotes), without word lengths.
A ruby library for solving arbitrary constraint satisfaction problems. If the constraints can be specified in the ruby programming language, then this library can find a solution.
Reads a dictionary file and allows a user to find anagrams.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.