Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "sat" keyword
cnfgen 0.3.3
Generate DIMACS CNF formula from operations6 versions - Latest release: 25 days ago - 2 dependent packages - 2.56 thousand downloads total - 1 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 - 9.21 thousand downloads total - 6 stars on GitHub - 1 maintainer
rsat-cli
SolHOP SAT Solver1 version - Latest release: about 1 month ago - 429 downloads total - 1 maintainer
bigs 0.3.0
A bipartite graph sampler7 versions - Latest release: about 2 years ago - 2 dependent packages - 1 dependent repositories - 4.39 thousand downloads total - 1 maintainer
or-tools-sys 9.7.0
Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatori...1 version - Latest release: 7 months ago - 1 dependent package - 1 dependent repositories - 448 downloads total - 2 stars on GitHub - 1 maintainer
or-tools 0.1.0
Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatori...1 version - Latest release: 7 months ago - 390 downloads total - 2 stars on GitHub - 1 maintainer
kissat 0.1.0
A simple wrapper for the Kissat SAT solver1 version - Latest release: over 2 years ago - 1 dependent repositories - 571 downloads total - 1 maintainer
batsat 0.5.0
Extensible SAT solver in Rust5 versions - Latest release: over 3 years ago - 1 dependent repositories - 3.4 thousand downloads total - 30 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: 13 days ago - 345 downloads total - 14 stars on GitHub - 1 maintainer
rustsat-tools 0.3.0
Tools and examples built on the RustSAT library7 versions - Latest release: 29 days ago - 1 dependent package - 2.47 thousand downloads total - 8 stars on GitHub - 1 maintainer
splr 0.17.2
A modern CDCL SAT solver in Rust31 versions - Latest release: 4 months ago - 3 dependent packages - 2 dependent repositories - 12.9 thousand downloads total - 71 stars on GitHub - 1 maintainer
rustsat 0.5.0
This library aims to provide implementations of elements commonly used in the development on soft...11 versions - Latest release: 29 days ago - 9 dependent packages - 4.97 thousand downloads total - 8 stars on GitHub - 1 maintainer
cat_solver 3.1.1
Rust bindings for the Kissat SAT solver2 versions - Latest release: 8 months ago - 1 dependent package - 1.99 thousand downloads total - 3 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
solhop-types 0.1.0
Types for SolHOP1 version - Latest release: over 3 years ago - 3 dependent packages - 2.49 thousand downloads total - 0 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
satoxid 0.1.2
Boolean satisfiability problem encoding library written in rust.3 versions - Latest release: about 3 years ago - 1.13 thousand downloads total - 9 stars on GitHub - 1 maintainer
z3_ref 0.1.4
High level interface to the Z3 SMT solver5 versions - Latest release: over 5 years ago - 3.57 thousand downloads total - 1 stars on GitHub - 1 maintainer
ratsat-bin 0.0.1
MiniSat reimplemented in Rust1 version - Latest release: about 6 years ago - 771 downloads total - 16 stars on GitHub - 1 maintainer
dimacs 0.2.0
Utilities to parse files in DIMACS .cnf or .sat format which is useful for participating in the D...2 versions - Latest release: about 7 years ago - 4 dependent repositories - 11.6 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
ratsat 0.0.1
MiniSat reimplemented in Rust1 version - Latest release: about 6 years ago - 1 dependent package - 1.35 thousand downloads total - 16 stars on GitHub - 1 maintainer
sat_lab 0.1.0
A crate providing the framework for using SAT problems1 version - Latest release: 11 months ago - 321 downloads total - 1 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
cryptominisat 5.8.0
Rust bindings for CryptoMiniSat, a boolean satisfiability solver5 versions - Latest release: over 3 years ago - 1 dependent repositories - 4.51 thousand downloads total - 8 stars on GitHub - 2 maintainers
exec-sat 0.1.1
Executes SAT solver and parses SAT solver output2 versions - Latest release: over 1 year ago - 1 dependent package - 975 downloads total - 0 stars on GitHub - 1 maintainer
cnfpack 0.1.1
Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format2 versions - Latest release: about 2 years ago - 820 downloads total - 1 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
pblib-rs 0.1.0
Rust safe bindings for pblib1 version - Latest release: 6 months ago - 289 downloads total - 0 stars on GitHub - 1 maintainer
debug_sat 0.4.0 💰
A debuggable automatic theorem prover for boolean satisfiability problems (SAT).4 versions - Latest release: over 6 years ago - 2.82 thousand downloads total - 3 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
cnf-parser 0.1.1
Efficient and customizable CNF parser for SAT solving.2 versions - Latest release: almost 4 years ago - 1 dependent repositories - 1.63 thousand downloads total - 3 stars on GitHub - 1 maintainer
ipasir-sys 0.3.0
A Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.4 versions - Latest release: almost 4 years ago - 1 dependent repositories - 2.49 thousand downloads total - 4 stars on GitHub - 1 maintainer
sat_toasty_helper 0.0.3
A utility library for more-easily writing SAT constraints.3 versions - Latest release: about 2 months ago - 822 downloads total - 1 maintainer
nonogrid 0.7.3
Efficient nonogram solver12 versions - Latest release: over 2 years ago - 1 dependent repositories - 5.28 thousand downloads total - 25 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: over 4 years ago - 2.18 thousand downloads total - 65 stars on GitHub - 1 maintainer
cnfgen-nand-opt 0.1.1
Generate CNF for circuits2 versions - Latest release: over 1 year ago - 236 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
satisfiability
16
solver
13
sat-solver
7
logic
6
rust
5
boolean
5
cnf
5
math
4
dimacs
4
graph
3
maxsat
3
smt
3
unsat
3
maxsat-solver
2
parser
2
incremental
2
ffi
2
smt-lib
2
cdcl
2
search
2
backtracking
2
combinatorial
2
optimization
2
or-tools
2
routing
2
linear-solvers
2
cnfgen
2
gra
2
minisat
2
linear-solver
2
combinatorial-optimization
2
csp
2
encoding
1
nonogram-solver
1
pb
1
cardinality
1
constraints
1
cnfpack
1
compression
1
nonogram
1
proving
1
theorem
1
debug
1
automated
1
satifiability
1
ipasir
1
sls
1
cnf-clauses
1
competitive-programming
1
loader
1
lexer
1
format
1
z3
1
solhop
1
kissat
1
encodings
1
nix-flake
1
rustsat
1
sat-solver-bindings
1
proof-generating
1
drat
1
bipartite
1
sampling
1