-
kasuari
layout solver for GUIs, based on the Cassowary algorithm. A fork of the unmaintained cassowary-rs crate with improvments and bug fixes. Kasuari is the indonesian name for the cassowary bird
-
resolvo
Fast package resolver written in Rust (CDCL based SAT solving)
-
ode_solvers
Numerical methods to solve ordinary differential equations (ODEs) in Rust
-
russell_sparse
Solvers for large sparse linear systems (wraps MUMPS and UMFPACK)
-
astral-pubgrub
PubGrub version solving algorithm
-
russell_ode
Solvers for ordinary differential equations and differential algebraic equations
-
highs
Safe rust bindings for the HiGHS linear programming solver. See http://highs.dev.
-
facet-solver
Constraint solver for facet - resolves type shapes from field names
-
torsh-linalg
Linear algebra operations for ToRSh with SciRS2 integration
-
pubgrub
version solving algorithm
-
amazeing
maze generator/solver application with simulation/visualization
-
didppy
Python interface for Dynamic Programming Description Language (DyPDL) and DyPDL solvers
-
dypdl-heuristic-search
Heuristic search solvers for Dynamic Programming Description Language (DyPDL)
-
didp-yaml
YAML interface for Dynamic Programming Description Language (DyPDL) and DyPDL solvers
-
oxiz-sat
High-performance CDCL SAT Solver for OxiZ
-
pumpkin-core
The core of the Pumpkin constraint programming solver
-
sat-solver
A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation
-
dagga
For scheduling directed acyclic graphs of nodes that create, read, write and consume resources
-
oxiz-solver
Main CDCL(T) Solver API for OxiZ
-
gamesman-nova
Research system generating datasets of sequential game states and associated features
-
wpsr
Command line program to help solve word puzzles
-
avalog
An experimental implementation of Avatar Logic with a Prolog-like syntax
-
ms_toollib
Algorithms for Minesweeper
-
nalgebra-sparse-linalg
Sparse linear algebra library for Rust using nalgebra including linear solvers and SVD
-
cliard24
command-line 24-point card game. It provides two main functions: the game mode allows you to play the classic 24-point game interactively in the terminal, where you randomly draw 4 cards and use addition…
-
scuttle
A multi-objective MaxSAT solver
-
iterative_solvers_smpl
An iterative solvers for calculation of matrix equations module
-
math-solvers
High-performance linear solvers for BEM and FEM
-
colsol
Functions for direct solution of matrix equations for compact form matrices
-
rust-poly
Numeric manipulation of real and complex polynomials
-
sublinear
High-performance sublinear-time solver for asymmetric diagonally dominant systems
-
differential-equations
solving differential equations
-
rpid
Rust Programmable Interface for Domain-Independent Dynamic Programming (RPID)
-
slsqp-rssl
slsqp rust impl, ported from scipy Fortran impl
-
computorv1
An educational computor project solving polynomial equations
-
connect-four-ai
A high-performance Rust implementation of a perfect Connect Four solver
-
greynet
High performance rule and constraint satisfaction engine
-
light-svm
Lightweight, fast LinearSVC-style crate with Pegasos/DCD solvers, CSR input, OvR/OvO strategies, and optional Platt calibration
-
stepwise
algorithms
-
ogsolve
The program for solving octal games
-
cvxrust
Disciplined Convex Programming
-
solverforge-solver
Solver engine for SolverForge
-
connect-four-solver
A strong and perfect connect four solver in Rust
-
stochy
A numeric library of stochastic approximation algorithms
-
scip-sys
Bindings for the C SCIP solver
-
algoxcc
A solver for an exact cover with colors problem
-
dds-bridge
API for DDS, the double dummy solver for bridge
-
drcp-format
Parse and write DRCP and literal definition files
-
solvent
Dependency Resolver library
-
screwsat
condlict driven clause learning sat solver
-
lapjv
Linear Assignmment Problem solve using Jonker-Volgenant algorithm
-
hullabaloo
Backend-agnostic geometry construction utilities
-
qtruss
finite-element solver for trusses
-
bddminisat-sys
FFI bindings to bdd_minisat_all, a BDD-based AllSAT solver
-
rez-next-solver
Intelligent dependency resolution with A* heuristic algorithms and 3-5x performance improvement
-
soukoban
some algorithms and data structures related to Sokoban
-
greyjack
Rust version of GreyJack Solver for constraint continuous, integer, mixed integer optimization problems
-
excov
A solver for exact cover problems
-
nnls
Non-Negative Least Squares (nnls)
-
newton-sos
Damped Newton method to solve low-rank problems arising from KernelSOS and Sum-of-Squares relaxations
-
hyperwfc
A very, very fast 2D/3D grid Wave Function Collapse solver
-
monotonic_solver
A monotonic solver designed to be easy to use with Rust enum expressions
-
nonogrid
Efficient nonogram solver
-
fem_2d
2D Finite Element Method Toolkit
-
kornia-pnp
Perspective-n-Point solvers for kornia
-
temper-core
Runtime support for Python generated by Temper
-
sdvrp
Rust binding of Alkaid-SDVRP: An Efficient Open-Source Solver for the Vehicle Routing Problem with Split Deliveries
-
highs-sys
Rust binding for the HiGHS linear programming solver. See http://highs.dev.
-
nonogram-rs
A fast and lightweight nonogram solving library
-
solverforge-benchmark
Benchmarking framework for SolverForge constraint solver
-
totsu
Convex optimization problems LP/QP/QCQP/SOCP/SDP that can be solved by
totsu_core -
walky
A TSP solver written in Rust
-
solverforge-service
JVM lifecycle management for SolverForge
-
travelling_salesman
Travelling Salesman Problem Solvers
-
mop
Flexible and modular single or multi-objective solver for contiguous and discrete problems
-
ft_lib
Manual implementation of some math functions
-
papilo-rs
Rust bindings for the PaPILO library
-
qsolve
A command-line tool for solving Queens puzzles
-
stipe
Set-theoretic structural type system and solver
-
minesweeprs
Probabalistic minesweeper solver, based on https://mrgris.com/projects/minesweepr/
-
stressed
Universal CLI stress tester for competitive programming
-
scalop
argumentation solver
-
aude
An automated differentiation solver with a Lisp-like functional programming language
-
osqp-sys
FFI bindings to the OSQP (Operator Splitting Quadratic Program) solver
-
ipasir
Bindings for the IPASIR API to communicate with incremental SAT solvers
-
reachability_solver
A linear reachability solver for directional edges
-
bridgitte
Contract bridge double dummy solver
-
sub-solver
Solve Substitution Ciphers using a wordlist
-
elm-solve-deps
A dependency solver for the elm ecosystem
-
backtrack
Solve hard constraints easily
-
numb_rs
An experimental numeric package
-
russell_nonlin
Numerical continuation methods to solve nonlinear systems of equations
-
pocket_prover-set
A base logical system for PocketProver to reason about set properties
-
image-recovery
Image recovery algorithms, implemented in Rust
-
remsol
Electromagnetic mode solver for 1D multilayer structures
-
qsim-solvers
Power flow solvers (DC, AC) for qsim
-
rust-expression
Calculator and solver for linear equations
-
del-fem-ls
sparse solver library for research prototyping
-
simple_qp
Allows formulating Quadratic Programming problems in a symbolic way
-
rustpower-sol-klu
A very basic KLU-based sparse linear solver unsafe wrapper
-
binairo
solver
-
ceres-solver-sys
Unsafe Rust bindings for the Ceres Solver
-
findminhs
An efficient branch-and-bound solver for hitting set
-
ceres-solver-src
Rust distribution of Ceres Solver built as a minimal static library
-
wordle_solver_
A fairly simple Wordle solver algorithm
-
ogs
solving octal games
-
solver
Solve optimization problems
-
temporal-lead-solver
Temporal computational lead via sublinear local solvers for diagonally dominant systems
-
igsolve
The program for solving impartial games
-
demystify-web
A web front end to demystify, a constraint solving tool for explaining puzzles
-
smtlib-build-util
The build utils for building the smtlib family of crates
-
roggle
A Boggle solver written in Rust!
-
rustproof
Compiler plugin to generate verification conditions from Rust code
-
russell_pde
Essential tools to solve partial differential equations; not a full-fledged PDE solver
-
copper
A constraint programming solver
-
dess-examples
DESS examples
-
totsu_f32cuda
CUDA linear algebra operations for
totsu/totsu_core -
pack
Solver for packing puzzle
-
adf-bdd-bin
Solver for ADFs grounded, complete, and stable semantics by utilising OBDDs - ordered binary decision diagrams
-
igs
solving impartial games
-
interiors
Primal-Dual Interior Point Method for Nonlinear Programming
-
tycho-client
CLI tool for querying and accessing liquidity data from Tycho indexer
-
crustabri
An argumentation framework library & solver
-
towerofhanoi
A command-line Tower of Hanoi solver
-
eki
solver for steady and transient flow in fluid networks
-
bee_solver
Solver for the NYT Spelling Bee
-
spsolve
Solve sparse systems of linear equations
-
physsol
Lightweight 2d and 3d physics library
-
sudoku_rs
a package for sudoku in pure rust
-
equihash
Proof-of-Work function
-
rust_clue_solver_2
a way to figure out a clue game more easily
-
logicng-open-wbo-sys
LogicNG Bindings for OpenWBO
-
cat_solver
Rust bindings for the Kissat SAT solver
-
gpp-solver
A small hybrid push-pull solver/planner that has the best of both worlds
-
osqp-rust-sys
c2rust(osqp-sys)
-
letterboxed
A solver for the New York Times Letter Boxed puzzle - https://www.nytimes.com/puzzles/letter-boxed
-
concorde_rs
binding to Concorde TSP Solver
-
geass
15puzzle solver
-
deus
waifu2x solver
-
waifu
solver
-
tycho-execution
tools for encoding and executing swaps against Tycho router and protocol executors
-
equation-solver
equation solver that evaluates simple mathemetaical expressions
-
qsim-core
Core engine, traits, and state management for qsim
-
mop-solvers
Solvers for MOP
-
codebreaker-solver
A solver for codebreaker aka. bulls and cows. Generates guesses which will guess the code in at most 5 tries.
-
tycho-common
Contains shared models, traits and helpers used within the Tycho system
-
wfc_voxel
A Wave Function Collapse solver using preliminary voxel files
-
tycho-ethereum
Ethereum specific implementation of core tycho traits
-
stal
Set algebra solver for Redis
-
galapagos
evolutionary solver
-
ode_integrate
Collection of numerical ODE Solvers written in generics and thus applicable in many scenarios
-
twentyfour
A solver for the 24 card game
-
scanlan_sudoku
A command-line Sudoku game, created for a university project
-
chikasolver
Chika Solver
-
totsu_f64lapack
BLAS/LAPACK linear algebra operations for
totsu/totsu_core -
tycho-substreams
Tycho substreams development kit, contains tycho-indexer block changes model and helper functions for common indexing tasks
-
haversiner
Find the Haversine distance between two points
-
xcc
Exact Cover solver with color extensions
-
rusty-rubik
providing interaction and solvers for the Rubik's Cube
-
amg_match
Research iterative solver utilities
-
ode
Various solvers for ODEs
-
tycho-simulation
tools for interacting with protocol states, calculating spot prices, and quoting token swaps
-
lights-out
lights out solver
-
totsu_core
A first-order conic linear program solver for convex optimization
-
easy_trajectories
trajectory calculator with drag
-
second_order_ode
solving second order ODEs
-
word_search_solver
Solves a word search
-
annealers
Rust bindings of Quantum Annealer, CMOS Annealer, Digital Annealer, etc
-
seagaze
Resources facilitating the search of sequential games
-
propositional-tableau-solver-rs
Propositional tableau solver for propositional formulas
-
logical_solver
Rust based logic parser, evaluator, and truth table constructor!
-
generic-rcsp
solving the resource constrained shortest path problem using a dynamic programming labeling algorithm. Was developed for solving pricing problems for branch-and-price.
-
game24
24 game solver with extensions
-
lib_treblecross
Treblecross solver library using negamax
-
aocoracle
Universal solver for advent of code problems
-
nqueens
solver
-
acvm_blackbox_solver
A solver for the blackbox functions found in ACIR and Brillig
-
soku
Easy sudoku generation and solving
-
rustqubo
A QUBO manipulation library for Rust
-
classical_solver
Simulated annealing implementation for annealers_rust
Try searching with DuckDuckGo.