Alternatives and similar repositories for minisat-rs:

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

• rust-lang / rust-log-analyzer
  Analyzing Travis and Azure Pipelines logs to find encountered errors
  ☆44Updated last month
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago
• 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
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• Robbepop / apint
  Arbitrary precision integers library.
  ☆27Updated 4 years ago
• alexcrichton / debug-cell
  Debug RefCell which keeps track of stack traces in debug mode
  ☆24Updated last year
• 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 2 years ago
• lemonrock / predicator
  Predicator, a Rust crate for generating and running dynamic code
  ☆16Updated 6 years ago
• tormol / map_in_place
  A rust library for reusing heap allocations
  ☆24Updated 5 years ago
• ycrypto / nisty
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆14Updated 4 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• gnzlbg / mimallocator
  ☆52Updated 5 years ago
• rexlunae / simple-endian-rs
  A simple library to use Rust's type system to handle endianness.
  ☆16Updated 6 months ago
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 2 years ago
• bastion-rs / numanji
  Local-affinity first NUMA-aware allocator with optional fallback.
  ☆24Updated 3 years ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆62Updated 2 years ago
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆52Updated 2 years ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆51Updated 2 months ago
• eira-fransham / crunchy
  Crunchy unroller - deterministically unroll constant loops
  ☆40Updated 3 months ago
• ringbahn / uring-sys
  liburing bindings
  ☆34Updated 2 years ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆38Updated last month
• mpdn / disjoint-borrow
  Disjoint borrow of slices in Rust
  ☆11Updated 5 years ago
• ballard26 / concurrent-hamt
  ☆81Updated 8 years ago
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆46Updated 2 years ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year
• maciejhirsz / ordnung
  Fast, vector-based map implementation that preserves insertion order.
  ☆15Updated 4 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 8 years ago
• jedisct1 / rust-clockpro-cache
  CLOCK-Pro cache replacement algorithm for Rust
  ☆27Updated last year
• alexcrichton / splay-rs
  A splay tree implementation written in Rust
  ☆26Updated 6 years ago