Alternatives and similar repositories for minisat-rs

Users that are interested in minisat-rs are comparing it to the libraries listed below

• facebookarchive / Rust-SMT-LIB-API
  An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.
  ☆36Updated 5 years ago
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Updated 7 years ago
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆16Updated 7 years ago
• matklad / paxosnotes
  ☆23Updated 2 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• bastion-rs / numanji
  Local-affinity first NUMA-aware allocator with optional fallback.
  ☆28Updated 4 years ago
• GabeVillalobos / rust_rb_tree
  A Red-Black tree implemented in rust....for science!
  ☆10Updated 4 years ago
• rust-lang / wg-grammar
  Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides
  ☆101Updated last year
• maciejhirsz / ordnung
  Fast, vector-based map implementation that preserves insertion order.
  ☆15Updated 5 years ago
• summivox / fenwick.rs
  fenwick: rust implementation of Fenwick trees (aka. binary/bit indexed trees)
  ☆8Updated 2 years ago
• gnzlbg / bitintr
  Portable Bitwise Manipulation Intrinsics
  ☆46Updated last year
• contain-rs / trie
  An ordered map and set based on a trie.
  ☆28Updated 5 years ago
• fasterthanlime / stringsearch
  Collection of techniques for (binary) string searching
  ☆24Updated 5 years ago
• rust-lang / rust-log-analyzer
  Analyzing Travis and Azure Pipelines logs to find encountered errors
  ☆46Updated last week
• eira-fransham / crunchy
  Crunchy unroller - deterministically unroll constant loops
  ☆40Updated 2 weeks ago
• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 6 years ago
• rust-lang / project-ffi-unwind
  ☆37Updated 6 months ago
• AeroRust / splice
  A DSL for Software-Defined Satellite Applications
  ☆24Updated 5 years ago
• rodrimati1992 / type_level
  Libraries for declaring and using type-level values.
  ☆12Updated 6 years ago
• jedisct1 / rust-precision
  Low overhead, high precision measurement crate for Rust
  ☆16Updated 3 months ago
• HadrienG2 / spmc-buffer
  An extension of triple-buffering to multiple-consumer scenarios
  ☆7Updated 2 months ago
• cronokirby / multiset-hash
  A small crate for hashing multi sets
  ☆16Updated 3 years ago
• mahkoh / trait-union
  Stack-allocated trait objects
  ☆18Updated 3 years ago
• de-vri-es / spicat
  Full-duplex SPI transactions from the command line.
  ☆15Updated last year
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• 4lDO2 / real-async-trait-rs
  A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…
  ☆45Updated 3 years ago
• rust-embedded / r0
  Initialization code ("crt0") written in Rust
  ☆70Updated 4 years ago