Alternatives and similar repositories for minisat-rs:

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

• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago
• fasterthanlime / stringsearch
  Collection of techniques for (binary) string searching
  ☆23Updated 5 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• image-rs / inflate
  A pure Rust implementation of DEFLATE decompression
  ☆44Updated 5 years ago
• rust-embedded / r0
  Initialization code ("crt0") written in Rust
  ☆70Updated 3 years ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• michaelsproul / rust_sequence_trie
  Ergonomic trie data structure
  ☆27Updated 6 years ago
• JoshMcguigan / nerve
  ☆17Updated 5 years ago
• jsanders / rust-bignum
  Bignum bindings for rust backed by GMP
  ☆16Updated 7 years ago
• alexcrichton / debug-cell
  Debug RefCell which keeps track of stack traces in debug mode
  ☆24Updated last year
• eira-fransham / crunchy
  Crunchy unroller - deterministically unroll constant loops
  ☆41Updated 2 months ago
• yvt / svgbobdoc
  Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.
  ☆20Updated 4 months ago
• theypsilon / arraygen
  Derive macro for generating arrays from struct fields.
  ☆20Updated 2 years ago
• rust-lang / rust-log-analyzer
  Analyzing Travis and Azure Pipelines logs to find encountered errors
  ☆45Updated last week
• Diggsey / lockless
  Composable, lock-free, allocation-light data structures
  ☆60Updated 6 years ago
• rodrimati1992 / type_level
  Libraries for declaring and using type-level values.
  ☆11Updated 6 years ago
• alexcrichton / splay-rs
  A splay tree implementation written in Rust
  ☆25Updated 6 years ago
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆16Updated 6 years ago
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆51Updated 2 years ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆61Updated 2 years ago
• BGR360 / propagate
  Error return tracing in Rust. Still WIP
  ☆11Updated 3 years ago
• contain-rs / par-vec
  ☆10Updated 9 years ago
• Kixunil / fast_fmt
  Faster, more flexible and more correct alternative to core::fmt
  ☆40Updated 4 years ago
• nikomatsakis / rusty-peg
  ☆17Updated 9 years ago
• jedisct1 / rust-precision
  Low overhead, high precision measurement crate for Rust
  ☆16Updated last week
• fasterthanlime / lavish-compiler
  Compiler for the Lavish IDL
  ☆17Updated 5 years ago
• lemonrock / predicator
  Predicator, a Rust crate for generating and running dynamic code
  ☆16Updated 6 years ago
• graydon / concorde
  ☆27Updated 4 years ago
• maciejhirsz / ordnung
  Fast, vector-based map implementation that preserves insertion order.
  ☆15Updated 4 years ago
• arcnmx / pipe-rs
  Synchronous memory pipe for Rust
  ☆30Updated 4 years ago