Alternatives and similar repositories for sat

Users that are interested in sat are comparing it to the libraries listed below

• nikomatsakis / cargo-incremental
  A fuzzing tool for incremental compilation that walks git history
  ☆33Updated 7 years ago
• matprec / explain-rs
  A library which finds language features in rust code and provides resources on them.
  ☆39Updated 7 years ago
• harharkh / mayda
  A Rust library to compress integer arrays.
  ☆39Updated 7 years ago
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆47Updated 4 years ago
• asajeffrey / josephine
  JS affine
  ☆67Updated 5 years ago
• ballard26 / concurrent-hamt
  ☆85Updated 9 years ago
• adevore / rudy
  Judy array implementation in pure Rust
  ☆88Updated 8 years ago
• Metadiff / gir
  Graph Intermediate Representation (GIR) library for ML
  ☆22Updated 8 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 7 years ago
• rrichardson / block_alloc
  Allocator of fixed sized blocks from pre-allocated arena
  ☆18Updated 7 years ago
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆30Updated 8 years ago
• huonw / simd
  [DEPRECATED] see:
  ☆81Updated 8 years ago
• nivekuil / rculock
  A synchronization primitive for lock-free reads with one concurrent writer
  ☆21Updated 8 years ago
• milibopp / acacia
  A spatial partitioning and tree library in Rust.
  ☆84Updated last year
• Stebalien / stash-rs
  A fast map for when one doesn't care about choosing the keys.
  ☆27Updated 10 months ago
• brson / cargo-crusader
  Test the downstream impact of Rust crate changes before publishing
  ☆58Updated 7 years ago
• aidancully / containerof
  ☆17Updated last year
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆74Updated 5 years ago
• nikomatsakis / rustypop
  A not-yet-functional Rust parser written in LALRPOP.
  ☆35Updated 8 years ago
• fizyk20 / differential-geometry
  A Rust crate for differential-geometric calculations.
  ☆39Updated 6 years ago
• bluss / debugit
  DebugIt: Use specialization so you can debug-print a value without explicit (and viral) Debug trait bound. (Not really maintained. Uses …
  ☆10Updated 3 years ago
• advancedresearch / quickbacktrack
  Library for backtracking with customizable search for moves
  ☆23Updated 4 months ago
• dhardy / pippin
  a distributed-merge capable database for many small objects
  ☆79Updated 5 years ago
• ErichDonGubler / adhesion-rs
  D-inspired contract programming in Rust using macros
  ☆54Updated 4 years ago
• seanmonstar / vecio
  ☆30Updated 4 years ago
• codahale / pcg.rs
  A Rust implementation of the PCG PRNG.
  ☆24Updated 8 years ago
• graydon / z3-rs
  ☆24Updated 7 years ago
• gnzlbg / bitwise
  Portable high-level bitwise manipulation algorithms
  ☆50Updated 3 years ago
• huonw / llvmint
  ☆27Updated 10 years ago
• diwic / reffers-rs
  Rust wrappers around references, boxes and Arcs.
  ☆69Updated 3 years ago