Alternatives and similar repositories for minisat-rs

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

• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• 197g / index-ext
  More indexing options for Rust slices
  ☆9Updated last year
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 8 years ago
• rust-lang / rust-log-analyzer
  Analyzing Travis and Azure Pipelines logs to find encountered errors
  ☆46Updated last month
• ycrypto / nisty
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆14Updated 4 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• contain-rs / par-vec
  ☆9Updated 9 years ago
• bastion-rs / numanji
  Local-affinity first NUMA-aware allocator with optional fallback.
  ☆26Updated 4 years ago
• summivox / fenwick.rs
  fenwick: rust implementation of Fenwick trees (aka. binary/bit indexed trees)
  ☆8Updated 2 years ago
• rust-embedded / r0
  Initialization code ("crt0") written in Rust
  ☆70Updated 3 years ago
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆52Updated 2 years ago
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 3 years ago
• JoshMcguigan / nerve
  ☆17Updated 5 years ago
• skade / ffi-opaque
  A simple macro to create correct opaque pointers
  ☆22Updated 4 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-lang / project-ffi-unwind
  ☆37Updated 5 months ago
• yvt / svgbobdoc
  Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.
  ☆20Updated 6 months ago
• maciejhirsz / ordnung
  Fast, vector-based map implementation that preserves insertion order.
  ☆15Updated 5 years ago
• GabeVillalobos / rust_rb_tree
  A Red-Black tree implemented in rust....for science!
  ☆10Updated 4 years ago
• redradist / ferris-gc
  FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector
  ☆20Updated 4 years ago
• bytecodealliance / filecheck
  Library for writing tests for utilities that read text files and produce text output
  ☆22Updated 4 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆39Updated 10 months ago
• tormol / map_in_place
  A rust library for reusing heap allocations
  ☆24Updated 5 years ago
• astocko / xorshift
  Rust PRNGs: splitmix64, xoroshiro128+, xorshift128+, and xorshift1024*
  ☆17Updated 6 years ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆54Updated 4 months ago
• fasterthanlime / stringsearch
  Collection of techniques for (binary) string searching
  ☆23Updated 5 years ago
• cronokirby / multiset-hash
  A small crate for hashing multi sets
  ☆16Updated 3 years ago