crates.io "solver" keyword
solverforge-service 0.3.0 💰
JVM lifecycle management for SolverForge7 versions - Latest release: 4 months ago - 141 downloads total - 50 stars on GitHub - 1 maintainer
solverforge-derive 0.3.0 💰
Derive macros for SolverForge domain types7 versions - Latest release: 4 months ago - 138 downloads total - 50 stars on GitHub - 1 maintainer
sat-solver 0.2.1
A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.4 versions - Latest release: 11 months ago - 3.82 thousand downloads total - 0 stars on GitHub - 1 maintainer
fem_2d 0.2.2
2D Finite Element Method Toolkit4 versions - Latest release: about 3 years ago - 5.78 thousand downloads total - 16 stars on GitHub - 1 maintainer
wordle-bot 0.4.0
Full CLI Implementation of the popular game Wordle with an included Solver10 versions - Latest release: about 17 hours ago - 236 downloads total - 0 stars on GitHub - 1 maintainer
cobre-solver 0.5.0 💰
LP/MIP solver abstraction layer with HiGHS backend for power system optimization25 versions - Latest release: 1 day ago - 446 downloads total - 7 stars on GitHub - 1 maintainer
roggle 0.7.2
A Boggle solver written in Rust!11 versions - Latest release: almost 4 years ago - 16.1 thousand downloads total - 8 stars on GitHub - 1 maintainer
cspsolver
Constraint Satisfaction Problem (CSP) solver20 versions - Latest release: about 24 hours ago - 5.43 thousand downloads total - 22 stars on GitHub - 1 maintainer
ripopt 0.7.1
A memory-safe interior point optimizer in Rust5 versions - Latest release: 1 day ago - 220 downloads total - 1 maintainer
utf8proj-solver 0.9.1
Scheduling solver for utf8proj (CPM, resource leveling)1 version - Latest release: 3 months ago - 153 downloads total - 1 maintainer
tatam 0.4.5
Theory And Time Analysis Machine35 versions - Latest release: 7 months ago - 31.3 thousand downloads total - 3 stars on GitHub - 1 maintainer
z39-solver 1.0.1
Z3-powered reasoning for AI agents. MCP server + CLI for scheduling, logic, config, and safety.2 versions - Latest release: 2 days ago - 0 downloads total - 1 maintainer
muskat 0.1.0
Skat bot1 version - Latest release: 8 months ago - 377 downloads total - 0 stars on GitHub - 1 maintainer
wordle_solver_ 2.0.0
A fairly simple Wordle solver algorithm4 versions - Latest release: about 4 years ago - 5.14 thousand downloads total - 0 stars on GitHub - 1 maintainer
libsolv-sys 0.1.4 💰
Raw bindings to libsolv5 versions - Latest release: almost 5 years ago - 1 dependent package - 1 dependent repositories - 10 thousand downloads total - 2 stars on GitHub - 1 maintainer
rustoku-cli 0.14.0 💰
Command-line interface for the Rustoku library16 versions - Latest release: about 2 months ago - 5.68 thousand downloads total - 32 stars on GitHub - 1 maintainer
surge-bindings 0.1.5
Surge CLI integration crate for the Surge power flow solver6 versions - Latest release: 4 days ago - 65 downloads total - 1 maintainer
ferrox-solver 0.3.12
Iron-forged OR-Tools and HiGHS solvers as Converge Suggestors1 version - Latest release: 4 days ago - 0 downloads total - 1 maintainer
ferrox-ortools-sys 0.3.12
FFI bindings to Google OR-Tools CP-SAT and GLOP solvers1 version - Latest release: 4 days ago - 0 downloads total - 1 maintainer
smt2parser 0.6.1
Generic parser library for the SMT-LIB-2 format11 versions - Latest release: over 4 years ago - 5 dependent packages - 271 dependent repositories - 611 thousand downloads total - 21 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
51 versions - Latest release: about 1 month ago - 12 dependent packages - 55 dependent repositories - 771 thousand downloads total - 486 stars on GitHub - 5 maintainers
z3 0.19.14
High-level rust bindings for the Z3 SMT solver from Microsoft Research51 versions - Latest release: about 1 month ago - 12 dependent packages - 55 dependent repositories - 771 thousand downloads total - 486 stars on GitHub - 5 maintainers
rsmt2 0.16.2
Wrapper for SMT-LIB 2 compliant SMT solvers.29 versions - Latest release: over 3 years ago - 1 dependent package - 13 dependent repositories - 63.9 thousand downloads total - 66 stars on GitHub - 1 maintainer
solvent 0.8.3
Dependency Resolver library18 versions - Latest release: over 4 years ago - 3 dependent packages - 10 dependent repositories - 153 thousand downloads total - 38 stars on GitHub - 1 maintainer
grb 3.0.1
A Rust API for Gurobi optimizer14 versions - Latest release: about 1 year ago - 2 dependent packages - 3 dependent repositories - 26.2 thousand downloads total - 18 stars on GitHub - 1 maintainer
dagga 0.2.3 💰
For scheduling directed acyclic graphs of nodes that create, read, write and consume resources.6 versions - Latest release: 6 months ago - 3 dependent packages - 1 dependent repositories - 42.7 thousand downloads total - 26 stars on GitHub - 1 maintainer
totsu_core 0.1.1
A first-order conic linear program solver for convex optimization.2 versions - Latest release: over 3 years ago - 3 dependent packages - 1 dependent repositories - 4.65 thousand downloads total - 52 stars on GitHub - 1 maintainer
rudoku-core 0.2.0
A Sudoku library for generating and solving Suokus.3 versions - Latest release: almost 4 years ago - 1 dependent package - 4.9 thousand downloads total - 4 stars on vcs.p-sft.de - 1 maintainer
igsolve 0.1.2
The program for solving impartial games.3 versions - Latest release: over 2 years ago - 3.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
choco-solver 0.1.0
Safe interface for the Choco Solver library DLL generated by GraalVM Native Image.2 versions - Latest release: 4 days ago - 14 downloads total - 2 maintainers
amzn-smt-ir-derive
Intermediate representation for SMT problems1 version - Latest release: 4 days ago - 1 dependent package - 1 dependent repositories - 1.42 thousand downloads total - 41 stars on GitHub - 2 maintainers
choco-solver-sys 0.1.0
FFI interface for the Choco Solver library DLL generated by GraalVM Native Image.1 version - Latest release: 5 days ago - 0 downloads total - 2 maintainers
scuttle 0.4.0
A multi-objective MaxSAT solver.5 versions - Latest release: 12 months ago - 1 dependent repositories - 6.62 thousand downloads total - 6 stars on GitHub - 1 maintainer
yaspar-ir 2.7.1
This crate provides a few representations of SMT scripts and other functionalities.2 versions - Latest release: about 2 months ago - 886 downloads total - 3 maintainers
elm-solve-deps 0.1.1
A dependency solver for the elm ecosystem2 versions - Latest release: over 4 years ago - 1 dependent package - 1 dependent repositories - 3.68 thousand downloads total - 5 stars on GitHub - 1 maintainer
soukoban 0.1.4
A library provides the implementation of some algorithms and data structures related to Sokoban5 versions - Latest release: 3 months ago - 3.14 thousand downloads total - 3 stars on GitHub - 1 maintainer
linear_solver 0.2.2 💰
A linear solver designed to be easy to use with Rust enum expressions4 versions - Latest release: over 6 years ago - 1 dependent package - 7.28 thousand downloads total - 33 stars on GitHub - 1 maintainer
twsearch 0.10.0
Twizzle Search — Twisty puzzle search library19 versions - Latest release: 6 months ago - 1 dependent package - 11.9 thousand downloads total - 39 stars on GitHub - 1 maintainer
pdbs_benchmark 0.1.0
The program for benchmarking pattern database implementations.1 version - Latest release: over 2 years ago - 1.48 thousand downloads total - 1 stars on GitHub - 1 maintainer
cat_solver 3.1.1
Rust bindings for the Kissat SAT solver2 versions - Latest release: over 2 years ago - 1 dependent package - 4.49 thousand downloads total - 3 stars on GitHub - 1 maintainer
igs 0.1.4
The library for for solving impartial games.4 versions - Latest release: over 2 years ago - 1 dependent package - 6.16 thousand downloads total - 3 stars on GitHub - 1 maintainer
takuzu 1.1.1
Takuzu (a.k.a. Binairo) number puzzle solver15 versions - Latest release: about 5 years ago - 23.3 thousand downloads total - 1 stars on GitHub - 1 maintainer
worlde-automaton 0.1.0
Solve worlde puzzles1 version - Latest release: over 4 years ago - 1 dependent package - 1.59 thousand downloads total - 1 maintainer
seagaze 0.1.0
Resources facilitating the search of sequential games.1 version - Latest release: about 2 years ago - 1.6 thousand downloads total - 4 stars on GitHub - 1 maintainer
screwsat 2.1.5
A simple condlict driven clause learning sat solver18 versions - Latest release: about 5 years ago - 24.3 thousand downloads total - 38 stars on GitHub - 1 maintainer
scuttle-proc 0.2.0
Procedural macros for scuttle. This crate is not intended to be used outside of scuttle.3 versions - Latest release: 12 months ago - 1 dependent package - 1 dependent repositories - 4.42 thousand downloads total - 3 stars on GitHub - 1 maintainer
soku 0.1.1
Easy sudoku generation and solving2 versions - Latest release: about 3 years ago - 2.76 thousand downloads total - 0 stars on GitHub - 1 maintainer
pack 0.4.0
Solver for packing puzzle.4 versions - Latest release: about 8 years ago - 6.72 thousand downloads total - 3 stars on GitHub - 1 maintainer
slp 0.1.11
Linear Programming Solver12 versions - Latest release: over 5 years ago - 1 dependent package - 18 thousand downloads total - 1 maintainer
ms_toollib 1.5.3
Algorithms for Minesweeper25 versions - Latest release: 4 months ago - 27.5 thousand downloads total - 1 maintainer
rbp 1.0.0
GTO poker toolkit: MCCFR solver, hand evaluation, strategic abstraction, and training pipeline1 version - Latest release: 2 months ago - 18 downloads total - 1 maintainer
sub-solver 0.1.2
Solve Substitution Ciphers using a wordlist3 versions - Latest release: about 2 years ago - 4.39 thousand downloads total - 8 stars on GitHub - 1 maintainer
demine 0.1.0
A minesweeper solver.1 version - Latest release: 7 days ago - 0 downloads total - 1 maintainer
logical_solver 1.0.2
Rust based logic parser, evaluator, and truth table constructor!1 version - Latest release: about 3 years ago - 1.59 thousand downloads total - 0 stars on GitHub - 1 maintainer
smt2 0.2.0
A SMT-LIB 2.6 parsing/formatting library for Rust2 versions - Latest release: over 5 years ago - 3.25 thousand downloads total - 8 stars on GitHub - 1 maintainer
clarabel 0.11.1
Clarabel Conic Interior Point Solver for Rust / Python17 versions - Latest release: 11 months ago - 2 dependent packages - 1 dependent repositories - 837 thousand downloads total - 469 stars on GitHub - 1 maintainer
differential-equations 0.5.2
A Rust library for solving differential equations.25 versions - Latest release: 5 months ago - 14.9 thousand downloads total - 77 stars on GitHub - 1 maintainer
ipasir-loading 0.1.0
Load shared libraries of IPASIR compatible SAT solvers.1 version - Latest release: over 1 year ago - 1.25 thousand downloads total - 0 stars on GitHub - 1 maintainer
msat 0.1.1
MaxSAT Solver2 versions - Latest release: over 5 years ago - 1 dependent package - 4.11 thousand downloads total - 0 stars on GitHub - 1 maintainer
diffsol 0.12.2 💰
A library for solving ordinary differential equations (ODEs) in Rust.51 versions - Latest release: 7 days ago - 2 dependent packages - 51.6 thousand downloads total - 79 stars on GitHub - 1 maintainer
cliard24 0.1.2
cliard24 is a command-line 24-point card game. It provides two main functions: the game mode allo...3 versions - Latest release: about 2 months ago - 49 downloads total - 1 maintainer
aprender-tsp 0.2.0
Local TSP optimization with personalized .apr models5 versions - Latest release: 3 months ago - 130 downloads total - 37 stars on GitHub - 1 maintainer
miplog 0.2.0
Parse MIP/LP solver log files (Gurobi, Xpress, SCIP, HiGHS, COPT, …) into a unified, serde-serial...2 versions - Latest release: 8 days ago - 0 downloads total - 1 maintainer
rustoku-lib 0.14.0 💰
Lightning-fast Sudoku solving and generation16 versions - Latest release: about 2 months ago - 6.45 thousand downloads total - 31 stars on GitHub - 1 maintainer
qsolve 1.0.0
A command-line tool for solving Queens puzzles1 version - Latest release: about 1 year ago - 679 downloads total - 4 stars on GitHub - 1 maintainer
selen 0.15.5
Constraint Satisfaction Problem (CSP) solver32 versions - Latest release: 4 months ago - 6.95 thousand downloads total - 27 stars on GitHub - 1 maintainer
rsmt2-zz 0.11.1
Wrapper for SMT-LIB 2 compliant SMT solvers. With ZZ downstream fixes2 versions - Latest release: about 6 years ago - 4.66 thousand downloads total - 66 stars on GitHub - 1 maintainer
oxilean 0.1.1
OxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 42 versions - Latest release: about 2 months ago - 24 downloads total - 1 stars on GitHub - 1 maintainer
libpcp 0.7.0
A constraint solver supporting arithmetic constraints over integers.4 versions - Latest release: over 3 years ago - 1 dependent repositories - 6.74 thousand downloads total - 110 stars on GitHub - 1 maintainer
totsu_f64lapack 0.1.1
BLAS/LAPACK linear algebra operations for `totsu`/`totsu_core`.2 versions - Latest release: over 3 years ago - 2.66 thousand downloads total - 54 stars on GitHub - 1 maintainer
ipasir 0.3.1
Bindings for the IPASIR API to communicate with incremental SAT solvers.4 versions - Latest release: about 6 years ago - 6.59 thousand downloads total - 1 stars on GitHub - 1 maintainer
mop-blocks 0.5.0
Foundation blocks for MOP14 versions - Latest release: over 5 years ago - 4 dependent packages - 24.7 thousand downloads total - 22 stars on GitHub - 1 maintainer
krysys 0.1.0
Krylov Subspace Solvers for Symmetric Systems of Linear Equations1 version - Latest release: 8 days ago - 0 downloads total - 1 maintainer
mop-common-defs 0.2.0
Common definitions for MOP crates.5 versions - Latest release: about 6 years ago - 3 dependent packages - 9.01 thousand downloads total - 20 stars on GitHub - 1 maintainer
rsat 0.1.12
SAT Solver13 versions - Latest release: over 5 years ago - 3 dependent packages - 3 dependent repositories - 20.8 thousand downloads total - 3 stars on GitHub - 1 maintainer
newton-sos 0.2.2
Damped Newton method to solve low-rank problems arising from KernelSOS and Sum-of-Squares relaxat...4 versions - Latest release: 4 months ago - 112 downloads total - 4 stars on GitHub - 1 maintainer
zelen 0.5.1
Direct MiniZinc to Selen Solver9 versions - Latest release: 5 months ago - 1.81 thousand downloads total - 1 stars on GitHub - 1 maintainer
easy_trajectories 0.1.2
Simple to use trajectory calculator with drag.2 versions - Latest release: about 4 years ago - 2.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
oxilean-wasm 0.1.1
WebAssembly bindings for OxiLean2 versions - Latest release: about 2 months ago - 51 downloads total - 1 stars on GitHub - 1 maintainer
rs-wordle-solver 1.2.0
A library for solving Wordle-style puzzles. It provides multiple guessing algorithms, as well as ...8 versions - Latest release: almost 2 years ago - 10.2 thousand downloads total - 0 stars on GitHub - 1 maintainer
temporal-lead-solver 0.1.0
Temporal computational lead via sublinear local solvers for diagonally dominant systems1 version - Latest release: 7 months ago - 320 downloads total - 48 stars on GitHub - 1 maintainer
oxilean-lint 0.1.1
OxiLean linter - Static analysis and lint rules2 versions - Latest release: about 2 months ago - 50 downloads total - 1 stars on GitHub - 1 maintainer
yaspar 2.7.0
Yet Another SMT Parser, a SMTLib 2.7 compliant parsing library1 version - Latest release: 2 months ago - 2.38 thousand downloads total - 0 stars on GitHub - 3 maintainers
solhop 0.1.0
SAT and MaxSAT Solver1 version - Latest release: over 5 years ago - 1.82 thousand downloads total - 0 stars on GitHub - 1 maintainer
pocket_prover-derive 0.9.0 💰
Derive procedural macros for `pocket_prover`.9 versions - Latest release: over 1 year ago - 1 dependent package - 12.2 thousand downloads total - 42 stars on GitHub - 1 maintainer
greynet 0.11.0
High performance rule and constraint satisfaction engine11 versions - Latest release: 9 months ago - 4.28 thousand downloads total - 0 stars on GitHub - 1 maintainer
sudokugen 0.4.0
Sudokugen is a sudoku solving and generating library5 versions - Latest release: almost 2 years ago - 7.12 thousand downloads total - 5 stars on GitHub - 1 maintainer
prompter 0.1.3
A Wordle solver in Rust4 versions - Latest release: over 1 year ago - 4.9 thousand downloads total - 1 stars on GitHub - 1 maintainer
oxicuda-solver 0.1.3
OxiCUDA Solver - GPU-accelerated matrix decompositions (cuSOLVER equivalent)4 versions - Latest release: 10 days ago - 34 downloads total - 1 maintainer
oxiflow 0.0.1
Modular reactive transport solver (Work in Progress)1 version - Latest release: 2 months ago - 15 downloads total - 1 maintainer
stressed 1.1.2
Universal CLI stress tester for competitive programming5 versions - Latest release: over 2 years ago - 6.2 thousand downloads total - 2 stars on GitHub - 1 maintainer
seer-z3 0.1.2
High-level rust bindings for the Z3 SMT solver from Microsoft Research3 versions - Latest release: almost 8 years ago - 1 dependent package - 1 dependent repositories - 7.4 thousand downloads total - 2 stars on GitHub - 1 maintainer
tycho-substreams 0.8.0
Tycho substreams development kit, contains tycho-indexer block changes model and helper functions...7 versions - Latest release: 5 months ago - 7.97 thousand downloads total - 33 stars on GitHub - 1 maintainer
gpp-solver 0.2.2
A small hybrid push-pull solver/planner that has the best of both worlds4 versions - Latest release: over 4 years ago - 5.42 thousand downloads total - 0 stars on GitHub - 1 maintainer
twentyfour 0.1.0
A solver for the 24 card game1 version - Latest release: about 3 years ago - 1.49 thousand downloads total - 2 stars on GitHub - 1 maintainer
sublinear 0.1.3
High-performance sublinear-time solver for asymmetric diagonally dominant systems3 versions - Latest release: 7 months ago - 866 downloads total - 48 stars on GitHub - 1 maintainer
letterboxed 1.1.0
A solver for the New York Times Letter Boxed puzzle - https://www.nytimes.com/puzzles/letter-boxed2 versions - Latest release: over 3 years ago - 3.31 thousand downloads total - 1 maintainer
stepwise 0.0.3
A library for stepwise algorithms4 versions - Latest release: 11 months ago - 1.76 thousand downloads total - 2 stars on GitHub - 1 maintainer
m2csmt 0.1.3
A solver for systems of non-linear (in)equations4 versions - Latest release: over 1 year ago - 3.29 thousand downloads total - 0 stars on gitlab.com - 1 maintainer
napali 0.1.1
TUI interface for Integrated Reasoning's accelerated solver API2 versions - Latest release: over 2 years ago - 2.81 thousand downloads total - 11 stars on GitHub - 1 maintainer
cvc5 0.4.0
High-level Rust bindings for the cvc5 SMT solver1 version - Latest release: 11 days ago - 0 downloads total - 9 stars on GitHub - 2 maintainers
Related Keywords
rust
56
optimization
43
math
34
smt
30
puzzle
27
sat
23
satisfiability
21
logic
19
game
19
mathematics
17
rust-lang
14
sudoku
13
rust-crate
12
rust-library
12
linear-programming
12
search
11
smt-lib
10
lean4
10
lean
10
ai
9
dependency
9
ffi
9
operations-research
8
convex
8
generator
7
solvers
7
wordle
7
cli
7
twisytpuzzle
7
type-theory
7
metaheuristics
7
constraint
7
version
6
linear-algebra
6
puzzles
6
defi
6
simplex
6
propellerheads
6
mev
6
scheduling
6
dex
6
scientific-computing
6
sparse-matrix
6
np-problem
6
heuristics
6
framework
6
pubgrub
5
cdcl
5
constraint-solver
5
differential-equations
5
maxsat
5
wasm
5
puzzle-solver
5
mop
5
ode
5
z3
5
linear
5
conic
5
combinatorial
5
mex
4
impartial-games
4
wca
4
grundy
4
graph
4
game-tree-search
4
game-tree
4
combinatorial-game-theory
4
cram
4
impartial
4
chomp
4
cgt
4
chomp-game
4
combinatorial-game
4
metaheuristic
4
sprague
4
transposition-table
4
constraints
4
numerical
4
csp
4
differential
4
boolean
4
algorithm
4
constraint-satisfaction-problem
4
physics
4
theorem
4
simulation
4
constraint-programming
4
sat-solver
3
sublinear
3
research
3
reasoning
3
proving
3
first-order
3
prover
3
dependency-solver
3
blockchain
3
sudoku-solver
3
equation
3
nonlinear
3
optimization-algorithms
3