Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "solver" keyword
slp-cli
SolHOP Linear Programming Solver1 version - Latest release: about 1 month ago - 415 downloads total - 1 maintainer
Top 8.9% on crates.io
3 versions - Latest release: almost 3 years ago - 8 dependent packages - 19 dependent repositories - 44 thousand downloads total - 321 stars on GitHub - 3 maintainers
pubgrub 0.2.1
PubGrub version solving algorithm3 versions - Latest release: almost 3 years ago - 8 dependent packages - 19 dependent repositories - 44 thousand downloads total - 321 stars on GitHub - 3 maintainers
avalog 0.7.2 💰
An experimental implementation of Avatar Logic with a Prolog-like syntax23 versions - Latest release: 1 day ago - 1 dependent package - 9.86 thousand downloads total - 64 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
19 versions - Latest release: 10 months ago - 12 dependent packages - 55 dependent repositories - 280 thousand downloads total - 315 stars on GitHub - 4 maintainers
z3 0.12.1
High-level rust bindings for the Z3 SMT solver from Microsoft Research19 versions - Latest release: 10 months ago - 12 dependent packages - 55 dependent repositories - 280 thousand downloads total - 315 stars on GitHub - 4 maintainers
Top 5.8% on crates.io
13 versions - Latest release: 10 months ago - 9 dependent packages - 51 dependent repositories - 330 thousand downloads total - 315 stars on GitHub - 4 maintainers
z3-sys 0.8.1
Low-level bindings for the Z3 SMT solver from Microsoft Research13 versions - Latest release: 10 months ago - 9 dependent packages - 51 dependent repositories - 330 thousand downloads total - 315 stars on GitHub - 4 maintainers
russell_sparse 1.5.1
Solvers for large sparse linear systems (wraps MUMPS and UMFPACK)33 versions - Latest release: 3 days ago - 4 dependent packages - 3 dependent repositories - 11.3 thousand downloads total - 76 stars on GitHub - 1 maintainer
russell_ode 1.5.1
Solvers for ordinary differential equations and differential algebraic equations14 versions - Latest release: 3 days ago - 3.12 thousand downloads total - 76 stars on GitHub - 1 maintainer
rust-poly 0.2.0
Numeric manipulation of real and complex polynomials.19 versions - Latest release: 15 days ago - 4.76 thousand downloads total - 1 stars on GitHub - 1 maintainer
napali 0.1.1
TUI interface for Integrated Reasoning's accelerated solver API2 versions - Latest release: 5 months ago - 663 downloads total - 7 stars on GitHub - 1 maintainer
backtrack 0.3.0
Solve hard constraints easily4 versions - Latest release: almost 3 years ago - 1.57 thousand downloads total - 14 stars on GitHub - 1 maintainer
backtrack-rs
Backtracking solver with examples1 version - Latest release: 2 days ago - 345 downloads total - 14 stars on GitHub - 1 maintainer
twentyfour 0.1.0
A solver for the 24 card game1 version - Latest release: about 1 year ago - 350 downloads total - 0 stars on GitHub - 1 maintainer
hcop 0.1.0
A rust wrapper for https://hcoptcha.online/login1 version - Latest release: 5 months ago - 282 downloads total - 0 stars on GitHub - 1 maintainer
takuzu 1.1.1
Takuzu (a.k.a. Binairo) number puzzle solver15 versions - Latest release: about 3 years ago - 10.3 thousand downloads total - 1 stars on GitHub - 1 maintainer
dogs 1.3.0
Discrete Optimization Global Search framework. Implements various search algorithms that can be f...4 versions - Latest release: almost 3 years ago - 2.38 thousand downloads total - 1 maintainer
crosswords 0.1.0
Find shuffled words from a word list1 version - Latest release: over 3 years ago - 503 downloads total - 1 maintainer
nonogram-rs 2.2.3
A fast and lightweight nonogram solving library.11 versions - Latest release: over 1 year ago - 3.37 thousand downloads total - 3 stars on GitHub - 1 maintainer
rudoku-core 0.2.0
A Sudoku library for generating and solving Suokus.3 versions - Latest release: almost 2 years ago - 1 dependent package - 1.63 thousand downloads total - 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: almost 2 years ago - 655 downloads total - 1 maintainer
findminhs 2.1.0
An efficient branch-and-bound solver for hitting set1 version - Latest release: almost 2 years ago - 406 downloads total - 7 stars on GitHub - 1 maintainer
wordle-solver 0.3.0
A library and a program to solve the daily wordle4 versions - Latest release: almost 2 years ago - 1.25 thousand downloads total - 0 stars on GitHub - 1 maintainer
clarabel 0.7.1
Clarabel Conic Interior Point Solver for Rust / Python10 versions - Latest release: 3 months ago - 2 dependent packages - 1 dependent repositories - 54.5 thousand downloads total - 237 stars on GitHub - 1 maintainer
ode_solvers 0.4.0
Numerical methods to solve ordinary differential equations (ODEs) in Rust.13 versions - Latest release: 4 months ago - 4 dependent packages - 4 dependent repositories - 257 thousand downloads total - 51 stars on GitHub - 1 maintainer
Top 8.3% on crates.io
51 versions - Latest release: about 1 month ago - 6 dependent packages - 37 dependent repositories - 545 thousand downloads total - 205 stars on GitHub - 1 maintainer
good_lp 1.8.1
Mixed Integer Linear Programming for Rust, with an user-friendly API. This crate allows modeling...51 versions - Latest release: about 1 month ago - 6 dependent packages - 37 dependent repositories - 545 thousand downloads total - 205 stars on GitHub - 1 maintainer
resolvo 0.4.0
Fast package resolver written in Rust (CDCL based SAT solving)4 versions - Latest release: 3 months ago - 3 dependent packages - 6 dependent repositories - 18.6 thousand downloads total - 136 stars on GitHub - 3 maintainers
libsolv-sys 0.1.4 💰
Raw bindings to libsolv5 versions - Latest release: about 3 years ago - 1 dependent package - 1 dependent repositories - 2.76 thousand downloads total - 2 stars on GitHub - 1 maintainer
ipopt-src 0.2.3+3.14.16
Redistribution of Coin-OR Ipopt as a crate3 versions - Latest release: 24 days ago - 2 dependent packages - 657 downloads total - 1 stars on GitHub - 1 maintainer
highs 1.6.1
Safe rust bindings for the HiGHS linear programming solver. See http://highs.dev.23 versions - Latest release: 6 months ago - 3 dependent packages - 2 dependent repositories - 12.8 thousand downloads total - 18 stars on GitHub - 1 maintainer
eqsolver 0.1.3
A library that solves equations using numerical methods4 versions - Latest release: 5 months ago - 1 dependent package - 6.7 thousand downloads total - 11 stars on GitHub - 1 maintainer
dagga 0.2.1 💰
For scheduling directed acyclic graphs of nodes that create, read, write and consume resources.4 versions - Latest release: 10 months ago - 3 dependent packages - 1 dependent repositories - 26.1 thousand downloads total - 16 stars on GitHub - 1 maintainer
cat_solver 3.1.1
Rust bindings for the Kissat SAT solver2 versions - Latest release: 7 months ago - 1 dependent package - 1.99 thousand downloads total - 3 stars on GitHub - 1 maintainer
airagi 0.0.1
The Air Artificial General Intelligence1 version - Latest release: 5 months ago - 1 dependent package - 284 downloads total - 1 stars on GitHub - 1 maintainer
amzn-smt-ir
Intermediate representation for SMT problems1 version - Latest release: 6 days ago - 305 downloads total - 31 stars on GitHub - 2 maintainers
aws-smt-ir 0.3.0
Intermediate representation for SMT problems4 versions - Latest release: 10 months ago - 1 dependent repositories - 1.24 thousand downloads total - 31 stars on GitHub - 2 maintainers
amzn-smt-ir-derive
Intermediate representation for SMT problems1 version - Latest release: 6 days ago - 1 dependent package - 1 dependent repositories - 328 downloads total - 31 stars on GitHub - 2 maintainers
aws-smt-ir-derive 0.1.2
Intermediate representation for SMT problems3 versions - Latest release: 10 months ago - 1 dependent package - 1.35 thousand downloads total - 31 stars on GitHub - 2 maintainers
airagi-bin 0.0.1
The Air Artificial General Intelligence1 version - Latest release: 5 months ago - 279 downloads total - 1 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 6 years ago - 1 dependent package - 1 dependent repositories - 4.02 thousand downloads total - 2 stars on GitHub - 1 maintainer
rustproof-libsmt 0.1.0
Rust bindings for z3 as utilized by RustProof.1 version - Latest release: over 7 years ago - 1 dependent package - 2.29 thousand downloads total - 2 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 4 years ago - 623 downloads total - 0 stars on GitHub - 1 maintainer
z3tracer 0.11.2
Parser for Z3 tracing logs15 versions - Latest release: over 2 years ago - 1 dependent package - 269 dependent repositories - 193 thousand downloads total - 21 stars on GitHub - 1 maintainer
smt2parser 0.6.1
Generic parser library for the SMT-LIB-2 format11 versions - Latest release: over 2 years ago - 5 dependent packages - 271 dependent repositories - 196 thousand downloads total - 21 stars on GitHub - 1 maintainer
highs-sys 1.6.2
Rust binding for the HiGHS linear programming solver. See http://highs.dev.20 versions - Latest release: 3 months ago - 1 dependent package - 3 dependent repositories - 13.8 thousand downloads total - 9 stars on GitHub - 1 maintainer
rsmt2 0.16.2
Wrapper for SMT-LIB 2 compliant SMT solvers.29 versions - Latest release: over 1 year ago - 1 dependent package - 13 dependent repositories - 25.5 thousand downloads total - 65 stars on GitHub - 1 maintainer
Top 9.5% on crates.io
28 versions - Latest release: about 2 months ago - 1 dependent package - 7 dependent repositories - 107 thousand downloads total - 469 stars on GitHub - 2 maintainers
optimization_engine 0.9.0
A pure Rust framework for embedded nonconvex optimization. Ideal for robotics!28 versions - Latest release: about 2 months ago - 1 dependent package - 7 dependent repositories - 107 thousand downloads total - 469 stars on GitHub - 2 maintainers
relp 0.2.5
Rust Exact Linear Programming12 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 4.28 thousand downloads total - 14 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 4 years ago - 2.42 thousand downloads total - 1 stars on GitHub - 1 maintainer
aude 0.2.0
An automated differentiation solver with a Lisp-like functional programming language2 versions - Latest release: about 2 years ago - 813 downloads total - 2 stars on GitHub - 1 maintainer
nnls 0.3.0
Non-Negative Least Squares (nnls)3 versions - Latest release: almost 2 years ago - 2.73 thousand downloads total - 4 stars on GitHub - 1 maintainer
smt2 0.2.0
A SMT-LIB 2.6 parsing/formatting library for Rust2 versions - Latest release: over 3 years ago - 1.06 thousand downloads total - 8 stars on GitHub - 1 maintainer
solhop 0.1.0
SAT and MaxSAT Solver1 version - Latest release: over 3 years ago - 614 downloads total - 0 stars on GitHub - 1 maintainer
reachability_solver 0.2.0 💰
A linear reachability solver for directional edges4 versions - Latest release: about 4 years ago - 1.64 thousand downloads total - 6 stars on GitHub - 1 maintainer
cadical 0.1.14
Rust bindings for the CaDiCaL SAT solver14 versions - Latest release: over 1 year ago - 4 dependent packages - 2 dependent repositories - 8.96 thousand downloads total - 6 stars on GitHub - 1 maintainer
grb 1.3.0
A Rust API for Gurobi optimizer8 versions - Latest release: over 2 years ago - 2 dependent packages - 3 dependent repositories - 7.14 thousand downloads total - 15 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: almost 5 years ago - 1 dependent package - 2.87 thousand downloads total - 32 stars on GitHub - 1 maintainer
monotonic_solver 0.5.0 💰
A monotonic solver designed to be easy to use with Rust enum expressions6 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 4.76 thousand downloads total - 44 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 2 years ago - 1.45 thousand downloads total - 0 stars on GitHub - 1 maintainer
wordle-automaton 0.9.0
Solve wordle puzzles8 versions - Latest release: about 2 years ago - 1 dependent package - 3.02 thousand downloads total - 1 stars on GitHub - 1 maintainer
rustproof 0.1.0
Compiler plugin to generate verification conditions from Rust code.1 version - Latest release: over 7 years ago - 1.27 thousand downloads total - 90 stars on GitHub - 1 maintainer
smt-lang 0.7.5
Sat Modulo Theory Language19 versions - Latest release: about 1 year ago - 5.47 thousand downloads total - 0 stars on GitHub - 1 maintainer
wordle_solver_ 2.0.0
A fairly simple Wordle solver algorithm4 versions - Latest release: about 2 years ago - 1.32 thousand downloads total - 0 stars on GitHub - 1 maintainer
screwsat 2.1.5
A simple condlict driven clause learning sat solver18 versions - Latest release: over 3 years ago - 6.32 thousand downloads total - 36 stars on GitHub - 1 maintainer
roggle 0.7.2
A Boggle solver written in Rust!11 versions - Latest release: almost 2 years ago - 3.03 thousand downloads total - 7 stars on GitHub - 1 maintainer
logical_solver 1.0.2
Rust based logic parser, evaluator, and truth table constructor!1 version - Latest release: about 1 year ago - 332 downloads total - 0 stars on GitHub - 1 maintainer
z3d 0.1.0
Z3 DSL interface for Rust1 version - Latest release: over 4 years ago - 622 downloads total - 8 stars on GitHub - 1 maintainer
sudoku-cli 0.2.0
A command-line tool for solving sudoku puzzles.7 versions - Latest release: over 4 years ago - 3.42 thousand downloads total - 4 stars on GitHub - 1 maintainer
wordle-solvers 0.9.0
Solve a Wordle puzzle based on a provided word list9 versions - Latest release: about 2 years ago - 2.85 thousand downloads total - 1 stars on GitHub - 1 maintainer
fem_2d 0.2.2
2D Finite Element Method Toolkit4 versions - Latest release: about 1 year ago - 1.37 thousand downloads total - 7 stars on GitHub - 1 maintainer
msat 0.1.1
MaxSAT Solver2 versions - Latest release: over 3 years ago - 1 dependent package - 1.64 thousand downloads total - 0 stars on GitHub - 1 maintainer
pocket_prover-set 0.5.0 💰
A base logical system for PocketProver to reason about set properties6 versions - Latest release: over 1 year ago - 3 thousand downloads total - 1 stars on GitHub - 1 maintainer
rsat 0.1.12
SAT Solver13 versions - Latest release: over 3 years ago - 3 dependent packages - 3 dependent repositories - 7.45 thousand downloads total - 3 stars on GitHub - 1 maintainer
icub3d_sudoku_solver 0.1.2
A sudoku solver.3 versions - Latest release: about 4 years ago - 1.54 thousand downloads total - 0 stars on GitHub - 1 maintainer
graph_solver 0.4.0 💰
An undirected graph constraint solver for node and edge colors5 versions - Latest release: over 3 years ago - 1.92 thousand downloads total - 5 stars on GitHub - 1 maintainer
elm-solve-deps-bin 0.1.1
A dependency solver for the elm ecosystem1 version - Latest release: over 2 years ago - 438 downloads total - 4 stars on GitHub - 1 maintainer
elm-solve-deps 0.1.1
A dependency solver for the elm ecosystem2 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 1.2 thousand downloads total - 4 stars on GitHub - 1 maintainer
markovr 0.4.1
Higher-order Markov Chains.6 versions - Latest release: about 4 years ago - 2.41 thousand downloads total - 5 stars on GitHub - 1 maintainer
solver 0.0.3-alpha.2
Solve optimization problems.6 versions - Latest release: almost 2 years ago - 1 dependent package - 1 dependent repositories - 2.96 thousand downloads total - 1 stars on GitHub - 1 maintainer
prompter 0.1.2
A Wordle solver in Rust3 versions - Latest release: almost 2 years ago - 1.01 thousand downloads total - 1 stars on GitHub - 1 maintainer
ode_integrate 0.0.2
Collection of numerical ODE Solvers written in generics and thus applicable in many scenarios.2 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 1.19 thousand downloads total - 0 stars on GitHub - 1 maintainer
pack 0.4.0
Solver for packing puzzle.4 versions - Latest release: over 6 years ago - 2.71 thousand downloads total - 3 stars on GitHub - 1 maintainer
totsu_f64lapack 0.1.1
BLAS/LAPACK linear algebra operations for `totsu`/`totsu_core`.2 versions - Latest release: over 1 year ago - 675 downloads total - 44 stars on GitHub - 1 maintainer
totsu_f32cuda 0.1.1
CUDA linear algebra operations for `totsu`/`totsu_core`.2 versions - Latest release: over 1 year ago - 644 downloads total - 44 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 1 year ago - 3 dependent packages - 1 dependent repositories - 1.71 thousand downloads total - 44 stars on GitHub - 1 maintainer
totsu 0.10.2
Convex optimization problems LP/QP/QCQP/SOCP/SDP that can be solved by `totsu_core`.16 versions - Latest release: over 1 year ago - 2 dependent packages - 1 dependent repositories - 7.79 thousand downloads total - 44 stars on GitHub - 1 maintainer
mop-solvers 0.5.0
Solvers for MOP14 versions - Latest release: almost 4 years ago - 2 dependent packages - 9.89 thousand downloads total - 20 stars on GitHub - 1 maintainer
mop-common 0.5.0
Common definitions for MOP crates.9 versions - Latest release: almost 4 years ago - 6 dependent packages - 7.23 thousand downloads total - 20 stars on GitHub - 1 maintainer
mop-blocks 0.5.0
Foundation blocks for MOP14 versions - Latest release: almost 4 years ago - 4 dependent packages - 10.4 thousand downloads total - 20 stars on GitHub - 1 maintainer
mop-common-defs 0.2.0
Common definitions for MOP crates.5 versions - Latest release: about 4 years ago - 3 dependent packages - 3.63 thousand downloads total - 20 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: almost 4 years ago - 3 dependent packages - 8.44 thousand downloads total - 20 stars on GitHub - 1 maintainer
mop-facades 0.5.0
Facades for MOP14 versions - Latest release: almost 4 years ago - 2 dependent packages - 9.62 thousand downloads total - 20 stars on GitHub - 1 maintainer
ms_toollib 1.4.7
Algorithms for Minesweeper21 versions - Latest release: 8 months ago - 6.53 thousand downloads total - 1 maintainer
rust-expression 0.3.1
Calculator and solver for linear equations.5 versions - Latest release: about 2 years ago - 1 dependent repositories - 2.08 thousand downloads total - 2 stars on GitHub - 1 maintainer
logistics 0.0.4
Logistics Engineering Client5 versions - Latest release: over 3 years ago - 2.53 thousand downloads total - 2 stars on GitHub - 1 maintainer
solvent 0.8.3
Dependency Resolver library18 versions - Latest release: over 2 years ago - 3 dependent packages - 10 dependent repositories - 85.2 thousand downloads total - 35 stars on GitHub - 1 maintainer
pocket_prover 0.17.0 💰
A fast, brute force, automatic theorem prover for first order logic27 versions - Latest release: over 1 year ago - 2 dependent packages - 1 dependent repositories - 12.2 thousand downloads total - 35 stars on GitHub - 1 maintainer
pocket_prover-derive 0.8.0 💰
Derive procedural macros for `pocket_prover`.8 versions - Latest release: over 1 year ago - 1 dependent package - 3.72 thousand downloads total - 35 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: 18 days ago - 2.23 thousand downloads total - 0 stars on GitHub - 1 maintainer
logicng-open-wbo-sys 0.1.0-alpha.3
LogicNG Bindings for OpenWBO3 versions - Latest release: 8 months ago - 1 dependent package - 866 downloads total - 7 stars on GitHub - 3 maintainers
stressed 1.1.2
Universal CLI stress tester for competitive programming5 versions - Latest release: 5 months ago - 1.26 thousand downloads total - 1 stars on GitHub - 1 maintainer
igsolve 0.1.2
The program for solving impartial games.3 versions - Latest release: 5 months ago - 805 downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
rust
35
optimization
20
smt
19
math
17
satisfiability
16
puzzle
14
sat
13
smt-lib
10
logic
10
game
9
linear-programming
9
ai
8
wordle
7
framework
6
np-problem
6
metaheuristics
6
heuristics
6
dependency
6
mop
5
solvers
5
conic
5
mathematics
5
maxsat
5
convex
5
combinatorial
5
sudoku
5
ffi
5
linear
4
puzzles
4
version
4
search
4
generator
4
z3
4
graph
4
differential-equations
4
boolean
4
theorem
4
reasoning
3
prover
3
puzzle-solver
3
proving
3
cli
3
unsat
3
sat-solver
3
simplex
3
rust-lang
3
ode
3
physics
3
first-order
3
pubgrub
3
dependency-solver
3
advancedresearch
3
programming
2
cgt
2
chomp-game
2
combinatorial-game
2
combinatorial-game-theory
2
game-tree
2
game-tree-search
2
grundy
2
scientific-computing
2
impartial-games
2
sparse-matrix
2
mex
2
sprague
2
special-functions
2
verification
2
differential
2
agi
2
air
2
transposition-table
2
equation
2
pattern-db
2
simulation
2
parser
2
elm
2
algorithm
2
fst
2
automaton
2
constraint
2
ffi-bindings
2
logic-programming
2
rust-bindings
2
smt-solver
2
maxsat-solver
2
eigenvalues
2
eigenvectors
2
interpolation
2
linear-algebra
2
rust-library
2
chomp
2
impartial
2
cram
2
ordinary-differential-equations
2
15puzzle
2
puzzle-game
2
puzzle-solution
2
puzzle-solvers
2
sliding-puzzle-game
2
constraint-programming
2