Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "satisfiability" keyword

rustsat 0.5.0
This library aims to provide implementations of elements commonly used in the development on soft...
11 versions - Latest release: about 1 month ago - 9 dependent packages - 5.93 thousand downloads total - 8 stars on GitHub - 1 maintainer
rsmt2-zz 0.11.1
Wrapper for SMT-LIB 2 compliant SMT solvers. With ZZ downstream fixes
2 versions - Latest release: over 4 years ago - 2.3 thousand downloads total - 65 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 - 26.8 thousand downloads total - 65 stars on GitHub - 1 maintainer
libpcp 0.7.0
A constraint solver supporting arithmetic constraints over integers.
4 versions - Latest release: over 1 year ago - 1 dependent repositories - 2.22 thousand downloads total - 93 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
z3 0.12.1
High-level rust bindings for the Z3 SMT solver from Microsoft Research
19 versions - Latest release: 10 months ago - 12 dependent packages - 55 dependent repositories - 281 thousand downloads total - 315 stars on GitHub - 4 maintainers
Top 5.8% on crates.io
z3-sys 0.8.1
Low-level bindings for the Z3 SMT solver from Microsoft Research
13 versions - Latest release: 10 months ago - 9 dependent packages - 51 dependent repositories - 331 thousand downloads total - 315 stars on GitHub - 4 maintainers
cadical 0.1.14
Rust bindings for the CaDiCaL SAT solver
14 versions - Latest release: over 1 year ago - 4 dependent packages - 2 dependent repositories - 9.21 thousand downloads total - 6 stars on GitHub - 1 maintainer
rustproof 0.1.0
Compiler plugin to generate verification conditions from Rust code.
1 version - Latest release: almost 8 years ago - 1.3 thousand downloads total - 90 stars on GitHub - 1 maintainer
rsat-cli
SolHOP SAT Solver
1 version - Latest release: about 1 month ago - 429 downloads total - 1 maintainer
rust_smt 0.2.0
A generic solver-agnostic API for interacting with SMT solvers based on the SMT-LIB standard.
3 versions - Latest release: about 5 years ago - 1.69 thousand downloads total - 36 stars on GitHub - 1 maintainer
rustsat-tools 0.3.0
Tools and examples built on the RustSAT library
7 versions - Latest release: about 1 month 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 Rust
31 versions - Latest release: 4 months ago - 3 dependent packages - 2 dependent repositories - 12.9 thousand downloads total - 71 stars on GitHub - 1 maintainer
cat_solver 3.1.1
Rust bindings for the Kissat SAT solver
2 versions - Latest release: 8 months ago - 1 dependent package - 1.99 thousand downloads total - 3 stars on GitHub - 1 maintainer
seer-z3 0.1.2
High-level rust bindings for the Z3 SMT solver from Microsoft Research
3 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: almost 8 years ago - 1 dependent package - 2.29 thousand downloads total - 2 stars on GitHub - 1 maintainer
solhop-types 0.1.0
Types for SolHOP
1 version - Latest release: over 3 years ago - 3 dependent packages - 2.49 thousand downloads total - 0 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
solhop 0.1.0
SAT and MaxSAT Solver
1 version - Latest release: over 3 years ago - 614 downloads total - 0 stars on GitHub - 1 maintainer
screwsat 2.1.5
A simple condlict driven clause learning sat solver
18 versions - Latest release: over 3 years ago - 6.32 thousand downloads total - 36 stars on GitHub - 1 maintainer
mikino 0.9.1
A simple induction and BMC engine
9 versions - Latest release: about 2 years ago - 3.07 thousand downloads total - 0 stars on GitHub - 1 maintainer
z3d 0.1.0
Z3 DSL interface for Rust
1 version - Latest release: over 4 years ago - 622 downloads total - 8 stars on GitHub - 1 maintainer
msat 0.1.1
MaxSAT Solver
2 versions - Latest release: over 3 years ago - 1 dependent package - 1.64 thousand downloads total - 0 stars on GitHub - 1 maintainer
rsat 0.1.12
SAT Solver
13 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
mikino_api 0.9.1
A simple induction and BMC engine
8 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 3.65 thousand downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
sat 16 solver 16 smt 11 sat-solver 6 boolean 5 rust 5 math 4 verification 4 ffi 4 maxsat 3 unsat 3 z3 3 logic 3 logic-programming 2 rust-bindings 2 smt-solver 2 ffi-bindings 2 induction 2 cdcl 2 smt-lib 2 maxsat-solver 2 ipasir 1 solhop 1 dimacs 1 incremental 1 cnf-clauses 1 competitive-programming 1 parser 1 cnf 1 sls 1 satifiability 1 kissat 1 nix-flake 1 rustsat 1 modulo 1 theories 1 plugin 1 minisat 1 constraint-programming 1 combinatorial 1 constraint 1 solving 1 csp 1 encodings 1