crates.io "solver" keyword
ode_integrate 0.0.2
Collection of numerical ODE Solvers written in generics and thus applicable in many scenarios.2 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 8.63 thousand downloads total - 0 stars on GitHub - 1 maintainer
cvxrust 0.1.0
A Rust implementation of Disciplined Convex Programming1 version - Latest release: 3 months ago - 54 downloads total - 4 stars on GitHub - 1 maintainer
solverforge-service 0.3.0
JVM lifecycle management for SolverForge7 versions - Latest release: 2 months ago - 129 downloads total - 10 stars on GitHub - 1 maintainer
solverforge-derive 0.3.0 💰
Derive macros for SolverForge domain types7 versions - Latest release: 2 months ago - 128 downloads total - 14 stars on GitHub - 1 maintainer
tycho-client 0.147.1
A library and CLI tool for querying and accessing liquidity data from Tycho indexer.187 versions - Latest release: 1 day ago - 52.1 thousand downloads total - 147 stars on GitHub - 1 maintainer
tycho-ethereum 0.147.1
Ethereum specific implementation of core tycho traits117 versions - Latest release: 1 day ago - 13.9 thousand downloads total - 147 stars on GitHub - 1 maintainer
oxilean-elab 0.1.1
OxiLean elaborator - Surface syntax to kernel terms2 versions - Latest release: 1 day ago - 18 downloads total - 1 stars on GitHub - 1 maintainer
oxilean-cli 0.1.1
OxiLean command-line interface2 versions - Latest release: 1 day ago - 10 downloads total - 1 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: 1 day ago - 10 downloads total - 1 stars on GitHub - 1 maintainer
oxilean-lint 0.1.1
OxiLean linter - Static analysis and lint rules2 versions - Latest release: 1 day ago - 12 downloads total - 1 stars on GitHub - 1 maintainer
oxilean-build 0.1.1
OxiLean build system - Project compilation and dependency management2 versions - Latest release: 1 day ago - 12 downloads total - 1 stars on GitHub - 1 maintainer
optimization-solvers 0.1.1
Numerical optimization solvers for unconstrained and simple-bounds constrained convex optimizatio...2 versions - Latest release: 8 months ago - 1.34 thousand downloads total - 10 stars on GitHub - 1 maintainer
icub3d_sudoku_solver 0.1.2
A sudoku solver.3 versions - Latest release: almost 6 years ago - 4.64 thousand downloads total - 0 stars on GitHub - 1 maintainer
rustproof-libsmt 0.1.0
Rust bindings for z3 as utilized by RustProof.1 version - Latest release: over 9 years ago - 1 dependent package - 3.76 thousand downloads total - 2 stars on GitHub - 1 maintainer
rust-expression 0.3.1
Calculator and solver for linear equations.5 versions - Latest release: almost 4 years ago - 1 dependent repositories - 7.21 thousand downloads total - 2 stars on GitHub - 1 maintainer
mop 0.5.0
Flexible and modular single or multi-objective solver for contiguous and discrete problems14 versions - Latest release: over 5 years ago - 3 dependent packages - 23.7 thousand downloads total - 20 stars on GitHub - 1 maintainer
iter-solver 0.4.0
A rust crate provide flexible and general iterative algorithm framework.8 versions - Latest release: 4 days ago - 1.86 thousand downloads total - 0 stars on GitHub - 1 maintainer
lp-modeler 0.5.0
A linear programming modeller written in Rust. This api helps to write LP model and use solver su...9 versions - Latest release: about 5 years ago - 1 dependent package - 2 dependent repositories - 20.9 thousand downloads total - 103 stars on GitHub - 1 maintainer
Top 8.3% on crates.io
60 versions - Latest release: 19 days ago - 6 dependent packages - 37 dependent repositories - 2.48 million downloads total - 352 stars on GitHub - 1 maintainer
good_lp 1.15.0
Mixed Integer Linear Programming for Rust, with an user-friendly API. This crate allows modeling...60 versions - Latest release: 19 days ago - 6 dependent packages - 37 dependent repositories - 2.48 million downloads total - 352 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
50 versions - Latest release: 4 days ago - 12 dependent packages - 55 dependent repositories - 754 thousand downloads total - 486 stars on GitHub - 5 maintainers
z3 0.19.13
High-level rust bindings for the Z3 SMT solver from Microsoft Research50 versions - Latest release: 4 days ago - 12 dependent packages - 55 dependent repositories - 754 thousand downloads total - 486 stars on GitHub - 5 maintainers
Top 5.8% on crates.io
33 versions - Latest release: 4 days ago - 9 dependent packages - 51 dependent repositories - 806 thousand downloads total - 486 stars on GitHub - 5 maintainers
z3-sys 0.10.8
Low-level bindings for the Z3 SMT solver from Microsoft Research33 versions - Latest release: 4 days ago - 9 dependent packages - 51 dependent repositories - 806 thousand downloads total - 486 stars on GitHub - 5 maintainers
tycho-common 0.146.0
Contains shared models, traits and helpers used within the Tycho system189 versions - Latest release: 5 days ago - 57.2 thousand downloads total - 137 stars on GitHub - 1 maintainer
wordle-bot 0.3.3
Full CLI Implementation of the popular game Wordle with an included Solver9 versions - Latest release: 2 months ago - 226 downloads total - 0 stars on GitHub - 1 maintainer
z3tracer 0.11.2
Parser for Z3 tracing logs15 versions - Latest release: over 4 years ago - 1 dependent package - 269 dependent repositories - 551 thousand downloads total - 23 stars on GitHub - 1 maintainer
kasuari 0.4.11 💰
A rust layout solver for GUIs, based on the Cassowary algorithm. A fork of the unmaintained casso...16 versions - Latest release: 3 months ago - 1.6 million downloads total - 27 stars on GitHub - 3 maintainers
physsol 0.2.0
Lightweight 2d and 3d physics library2 versions - Latest release: over 7 years ago - 3.28 thousand downloads total - 1 stars on GitHub - 2 maintainers
airagi 0.0.1
The Air Artificial General Intelligence1 version - Latest release: about 2 years ago - 1 dependent package - 1.97 thousand downloads total - 1 stars on GitHub - 1 maintainer
sat-solvers 0.1.1
Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with aut...1 version - Latest release: about 1 month ago - 21 downloads total - 1 maintainer
rooc 0.1.20
A mixed integer linear programming modeling language to solve linear optimization models. Extensi...19 versions - Latest release: 8 months ago - 18.4 thousand downloads total - 56 stars on GitHub - 1 maintainer
smt2proxy 0.2.4
Binary tool to intercept and pre-process SMT2 commands7 versions - Latest release: over 4 years ago - 9.08 thousand downloads total - 23 stars on GitHub - 1 maintainer
amzn-smt-ir
Intermediate representation for SMT problems1 version - Latest release: 6 days ago - 1.34 thousand downloads total - 42 stars on GitHub - 2 maintainers
wordle-automaton 0.9.0 💰
Solve wordle puzzles8 versions - Latest release: about 4 years ago - 1 dependent package - 10.6 thousand downloads total - 1 stars on GitHub - 1 maintainer
rsat-cli
SolHOP SAT Solver1 version - Latest release: 6 days ago - 1.34 thousand downloads total - 1 maintainer
samyama-optimization 0.6.0
High-performance metaheuristic optimization algorithms (Jaya, Rao, TLBO, BMR, BWR, QOJaya, ITLBO)...11 versions - Latest release: 6 days ago - 135 downloads total - 1 maintainer
diffsol 0.10.4 💰
A library for solving ordinary differential equations (ODEs) in Rust.47 versions - Latest release: 29 days ago - 2 dependent packages - 44.8 thousand downloads total - 79 stars on GitHub - 1 maintainer
aws-smt-ir 0.3.0
Intermediate representation for SMT problems4 versions - Latest release: over 2 years ago - 1 dependent repositories - 5.99 thousand downloads total - 41 stars on GitHub - 2 maintainers
backtrack 0.3.0
Solve hard constraints easily4 versions - Latest release: over 4 years ago - 6.24 thousand downloads total - 15 stars on GitHub - 1 maintainer
aude 0.2.0
An automated differentiation solver with a Lisp-like functional programming language2 versions - Latest release: almost 4 years ago - 3.18 thousand downloads total - 2 stars on GitHub - 1 maintainer
lp-solvers 1.2.0
.lp file format implementation and external solver invocation for Cbc, Gurobi, cplex, and GLPK9 versions - Latest release: 2 months ago - 1 dependent package - 8 dependent repositories - 59.4 thousand downloads total - 17 stars on GitHub - 1 maintainer
facet-solver 0.44.1 💰
Constraint solver for facet - resolves type shapes from field names17 versions - Latest release: 7 days ago - 12.1 thousand downloads total - 2,422 stars on GitHub - 1 maintainer
smt-lang 0.7.5
Sat Modulo Theory Language19 versions - Latest release: about 3 years ago - 23 thousand downloads total - 0 stars on GitHub - 1 maintainer
highs 2.0.0
Safe rust bindings for the HiGHS linear programming solver. See http://highs.dev.28 versions - Latest release: 4 months ago - 3 dependent packages - 2 dependent repositories - 150 thousand downloads total - 24 stars on GitHub - 1 maintainer
stochy 0.0.3
A numeric library of stochastic approximation algorithms3 versions - Latest release: 10 months ago - 1.61 thousand downloads total - 1 stars on GitHub - 1 maintainer
stalmarck-sat 0.1.0
Rust-based SAT Solver based on the Stålmarck Procedure1 version - Latest release: 9 months ago - 513 downloads total - 1 stars on GitHub - 1 maintainer
tycho-simulation 0.247.2
Provides tools for interacting with protocol states, calculating spot prices, and quoting token s...45 versions - Latest release: 8 days ago - 1.55 thousand downloads total - 97 stars on GitHub - 1 maintainer
reachability_solver 0.2.0 💰
A linear reachability solver for directional edges4 versions - Latest release: about 6 years ago - 5.57 thousand downloads total - 6 stars on GitHub - 1 maintainer
mop-solvers 0.5.0
Solvers for MOP14 versions - Latest release: over 5 years ago - 2 dependent packages - 23.6 thousand downloads total - 20 stars on GitHub - 1 maintainer
rust-poly 0.4.3
Numeric manipulation of real and complex polynomials.24 versions - Latest release: 6 months ago - 26.8 thousand downloads total - 2 stars on GitHub - 1 maintainer
ogs 0.0.6
The library for solving octal games.5 versions - Latest release: over 1 year ago - 6.14 thousand downloads total - 3 stars on GitHub - 1 maintainer
findminhs 2.1.0
An efficient branch-and-bound solver for hitting set1 version - Latest release: almost 4 years ago - 1.59 thousand downloads total - 7 stars on GitHub - 1 maintainer
markovr 0.4.1
Higher-order Markov Chains.6 versions - Latest release: almost 6 years ago - 8.26 thousand downloads total - 6 stars on GitHub - 1 maintainer
tycho-execution 0.162.0
Provides tools for encoding and executing swaps against Tycho router and protocol executors.128 versions - Latest release: 9 days ago - 50.2 thousand downloads total - 19 stars on GitHub - 1 maintainer
scalop 2.1.0
Scalop, an argumentation solver.2 versions - Latest release: about 1 month ago - 388 downloads total - 4 stars on GitHub - 1 maintainer
aws-smt-ir-derive 0.1.2
Intermediate representation for SMT problems3 versions - Latest release: over 2 years ago - 1 dependent package - 5.21 thousand downloads total - 41 stars on GitHub - 2 maintainers
oxiz 0.1.3
Next-Generation SMT Solver in Pure Rust3 versions - Latest release: about 1 month ago - 99 downloads total - 1 maintainer
oxiz-sat 0.1.3
High-performance CDCL SAT Solver for OxiZ4 versions - Latest release: about 1 month ago - 317 downloads total - 1 maintainer
oxiz-solver 0.1.3
Main CDCL(T) Solver API for OxiZ4 versions - Latest release: about 1 month ago - 244 downloads total - 1 maintainer
nonogrid 0.7.3
Efficient nonogram solver12 versions - Latest release: over 4 years ago - 1 dependent repositories - 16.5 thousand downloads total - 30 stars on GitHub - 1 maintainer
nnls 0.4.0
Non-Negative Least Squares (nnls)4 versions - Latest release: 9 months ago - 21.6 thousand downloads total - 7 stars on GitHub - 1 maintainer
Top 9.5% on crates.io
29 versions - Latest release: over 1 year ago - 1 dependent package - 7 dependent repositories - 311 thousand downloads total - 585 stars on GitHub - 2 maintainers
optimization_engine 0.9.1
A pure Rust framework for embedded nonconvex optimization. Ideal for robotics!29 versions - Latest release: over 1 year ago - 1 dependent package - 7 dependent repositories - 311 thousand downloads total - 585 stars on GitHub - 2 maintainers
logicng-open-wbo-sys 0.1.0-alpha.3
LogicNG Bindings for OpenWBO3 versions - Latest release: over 2 years ago - 1 dependent package - 4.41 thousand downloads total - 11 stars on GitHub - 3 maintainers
wordle-solvers 0.9.0 💰
Solve a Wordle puzzle based on a provided word list9 versions - Latest release: about 4 years ago - 11 thousand downloads total - 1 stars on GitHub - 1 maintainer
totsu_f32cuda 0.1.1
CUDA linear algebra operations for `totsu`/`totsu_core`.2 versions - Latest release: about 3 years ago - 2.72 thousand downloads total - 54 stars on GitHub - 1 maintainer
greyjack 0.5.0
Rust version of GreyJack Solver for constraint continuous, integer, mixed integer optimization pr...10 versions - Latest release: 8 months ago - 5.93 thousand downloads total - 1 stars on GitHub - 1 maintainer
wordle-solver 0.3.0
A library and a program to solve the daily wordle4 versions - Latest release: over 3 years ago - 5.23 thousand downloads total - 0 stars on GitHub - 1 maintainer
wpsr 0.2.6
Command line program to help solve word puzzles7 versions - Latest release: 3 months ago - 2.6 thousand downloads total - 0 stars on GitHub - 1 maintainer
elm-solve-deps-bin 0.1.1
A dependency solver for the elm ecosystem1 version - Latest release: about 4 years ago - 1.63 thousand downloads total - 5 stars on GitHub - 1 maintainer
letterboxed-rs 0.1.1
A solver for the puzzle game Letter Boxed by The New York Times2 versions - Latest release: over 1 year ago - 2.39 thousand downloads total - 0 stars on GitHub - 1 maintainer
nonogram-rs 2.2.3
A fast and lightweight nonogram solving library.11 versions - Latest release: about 3 years ago - 13 thousand downloads total - 4 stars on GitHub - 1 maintainer
rustplex 0.3.0
A linear programming solver based on the Simplex algorithm for Rust3 versions - Latest release: 14 days ago - 890 downloads total - 7 stars on GitHub - 1 maintainer
s5 0.1.0
Simple equation solver written in Rust, built for solving some homework-style problems in orbital...1 version - Latest release: over 6 years ago - 2.04 thousand downloads total - 0 stars on GitHub - 1 maintainer
puzzles 0.1.0
The library for solving puzzles like sliding puzzle.1 version - Latest release: over 2 years ago - 1 dependent package - 1.9 thousand downloads total - 1 stars on GitHub - 1 maintainer
crustabri 1.1.1
An argumentation framework library & solver.2 versions - Latest release: about 2 years ago - 1 dependent package - 3.37 thousand downloads total - 3 stars on GitHub - 1 maintainer
sat-interface 0.1.1
This crate provides an abstraction interface for SAT solvers.2 versions - Latest release: 15 days ago - 516 downloads total - 3 maintainers
utf8proj-solver 0.9.1
Scheduling solver for utf8proj (CPM, resource leveling)1 version - Latest release: about 2 months ago - 53 downloads total - 1 maintainer
microsat 0.0.1
A simple DPLL SAT solver1 version - Latest release: over 1 year ago - 1.08 thousand downloads total - 2 stars on GitHub - 1 maintainer
ockham 0.1.1
A comprehensive Operations Research toolkit for linear programming, optimization, and mathematica...2 versions - Latest release: 3 months ago - 52 downloads total - 1 maintainer
mop-common 0.5.0
Common definitions for MOP crates.9 versions - Latest release: over 5 years ago - 6 dependent packages - 16.3 thousand downloads total - 22 stars on GitHub - 1 maintainer
highs-sys 1.12.1
Rust binding for the HiGHS linear programming solver. See http://highs.dev.24 versions - Latest release: 4 months ago - 1 dependent package - 3 dependent repositories - 172 thousand downloads total - 16 stars on GitHub - 1 maintainer
solver 0.0.3-alpha.2
Solve optimization problems.6 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 8.64 thousand downloads total - 1 stars on GitHub - 1 maintainer
bddminisat-sys 0.1.0
FFI bindings to bdd_minisat_all, a BDD-based AllSAT solver1 version - Latest release: 3 months ago - 61 downloads total - 1 maintainer
dogs 1.3.0
Discrete Optimization Global Search framework. Implements various search algorithms that can be f...4 versions - Latest release: over 4 years ago - 7.08 thousand downloads total - 1 maintainer
pocket_prover 0.18.0 💰
A fast, brute force, automatic theorem prover for first order logic28 versions - Latest release: over 1 year ago - 2 dependent packages - 1 dependent repositories - 37.3 thousand downloads total - 42 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
cobre-solver 0.0.1
LP/MIP solver abstraction layer with HiGHS backend for power system optimization1 version - Latest release: 16 days ago - 0 downloads total - 1 maintainer
cspsolver
Constraint Satisfaction Problem (CSP) solver20 versions - Latest release: 17 days ago - 5.43 thousand downloads total - 22 stars on GitHub - 1 maintainer
resolvo 0.10.2
Fast package resolver written in Rust (CDCL based SAT solving)22 versions - Latest release: 3 months ago - 3 dependent packages - 6 dependent repositories - 372 thousand downloads total - 138 stars on GitHub - 3 maintainers
totsu 0.10.2
Convex optimization problems LP/QP/QCQP/SOCP/SDP that can be solved by `totsu_core`.16 versions - Latest release: about 3 years ago - 2 dependent packages - 1 dependent repositories - 22.4 thousand downloads total - 53 stars on GitHub - 1 maintainer
ruvector-solver 2.0.4
Sublinear-time solver for RuVector: O(log n) to O(√n) algorithms for sparse linear systems, PageR...2 versions - Latest release: 17 days ago - 13 downloads total - 1 maintainer
rumenx-sudoku 1.0.0
Fast Sudoku generator & solver — classic 9×9 plus configurable grids — with unique puzzles, CLI, ...1 version - Latest release: 17 days ago - 0 downloads total - 1 maintainer
ogsolve 0.0.7
The program for solving octal games.6 versions - Latest release: over 1 year ago - 6.33 thousand downloads total - 3 stars on GitHub - 1 maintainer
muskat 0.1.0
Skat bot1 version - Latest release: 7 months ago - 374 downloads total - 0 stars on GitHub - 1 maintainer
tatam 0.4.5
Theory And Time Analysis Machine35 versions - Latest release: 6 months ago - 31.2 thousand downloads total - 3 stars on GitHub - 1 maintainer
aprender-tsp 0.2.0
Local TSP optimization with personalized .apr models4 versions - Latest release: about 2 months ago - 97 downloads total - 37 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 - 9.92 thousand downloads total - 2 stars on GitHub - 1 maintainer
wordle_solver_ 2.0.0
A fairly simple Wordle solver algorithm4 versions - Latest release: almost 4 years ago - 5.13 thousand downloads total - 0 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: 9 months ago - 3.8 thousand downloads total - 0 stars on GitHub - 1 maintainer
fem_2d 0.2.2
2D Finite Element Method Toolkit4 versions - Latest release: almost 3 years ago - 5.77 thousand downloads total - 16 stars on GitHub - 1 maintainer
Top 8.9% on crates.io
5 versions - Latest release: about 1 year ago - 8 dependent packages - 19 dependent repositories - 223 thousand downloads total - 673 stars on GitHub - 3 maintainers
pubgrub 0.3.0
PubGrub version solving algorithm5 versions - Latest release: about 1 year ago - 8 dependent packages - 19 dependent repositories - 223 thousand downloads total - 673 stars on GitHub - 3 maintainers
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 - 532 thousand downloads total - 21 stars on GitHub - 1 maintainer
Related Keywords
rust
50
optimization
36
math
28
puzzle
25
smt
24
sat
22
satisfiability
19
game
17
logic
17
mathematics
12
linear-programming
12
sudoku
11
smt-lib
10
ai
9
dependency
8
rust-lang
8
generator
7
rust-crate
7
rust-library
7
solvers
7
operations-research
7
wordle
7
metaheuristics
7
constraint
7
search
7
convex
7
puzzles
6
np-problem
6
simplex
6
defi
6
sparse-matrix
6
cli
6
dex
6
mev
6
propellerheads
6
scientific-computing
6
heuristics
6
framework
6
ode
5
differential-equations
5
version
5
constraint-solver
5
combinatorial
5
puzzle-solver
5
linear-algebra
5
mop
5
lean4
5
lean
5
scheduling
5
conic
5
ffi
5
maxsat
5
theorem
4
impartial
4
linear
4
algorithm
4
constraint-programming
4
pubgrub
4
numerical
4
cgt
4
impartial-games
4
type-theory
4
grundy
4
game-tree-search
4
game-tree
4
mex
4
constraint-satisfaction-problem
4
sprague
4
transposition-table
4
cram
4
boolean
4
csp
4
combinatorial-game-theory
4
wasm
4
cdcl
4
combinatorial-game
4
z3
4
chomp-game
4
graph
4
chomp
4
differential
4
sat-solver
3
physics
3
advancedresearch
3
air
3
simulation
3
unsat
3
sudoku-solver
3
sublinear
3
special-functions
3
quadrature-integration
3
quadrature
3
numerical-integration
3
numerical-derivatives
3
spectral-methods
3
interpolation
3
gamma-function
3
twisytpuzzle
3
eigenvectors
3
optimization-algorithms
3