Alternatives and similar repositories for minisat-rust

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

• dwrensha / gjio

  View on GitHub
  asynchronous I/O in Rust
  ☆14Jan 8, 2017Updated 9 years ago
• reem / rust-shared-mutex

  View on GitHub
  A reader-writer lock that can be used with a Condvar.
  ☆29Jun 2, 2016Updated 9 years ago
• jix / varisat

  View on GitHub
  SAT solver written in Rust
  ☆274Nov 2, 2022Updated 3 years ago
• witan-org / witan

  View on GitHub
  An ocaml implementation of conflict-driven reasoning
  ☆14Jul 13, 2018Updated 7 years ago
• graydon / photesthesis

  View on GitHub
  test framework
  ☆11Jun 2, 2021Updated 4 years ago
• kmcallister / sat

  View on GitHub
  Interface for defining and solving SAT problems in Rust
  ☆14Sep 1, 2016Updated 9 years ago
• paenko / raft-rs

  View on GitHub
  [Incomplete] A Raft implementation in Rust
  ☆15Jun 4, 2017Updated 8 years ago
• mattico / spiralizer

  View on GitHub
  Helps create a swirly timelapse gif
  ☆16May 12, 2021Updated 4 years ago
• eugene-bulkin / rolling-shutter

  View on GitHub
  A program that generates rolling-shutter images from a set of frames.
  ☆14Jul 8, 2017Updated 8 years ago
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Jan 1, 2024Updated 2 years ago
• graydon / z3-rs

  View on GitHub
  ☆24Aug 30, 2018Updated 7 years ago
• futile / leftpad-rs

  View on GitHub
  Left-padding for strings in Rust.
  ☆20Apr 7, 2016Updated 9 years ago
• kmcallister / azurescens

  View on GitHub
  Renders interactive fractal-like animations
  ☆19May 16, 2017Updated 8 years ago
• softprops / screenprints

  View on GitHub
  reprints for your terminal screen
  ☆20Apr 11, 2016Updated 9 years ago
• kerinin / cfrp-rs

  View on GitHub
  Concurrent Functional Reactive Programming for Rust
  ☆16Jun 14, 2016Updated 9 years ago
• erickt / stateful

  View on GitHub
  Stateful, a Rust Control Flow Plugin
  ☆108Apr 4, 2017Updated 8 years ago
• niklasso / minisat

  View on GitHub
  A minimalistic and high-performance SAT solver
  ☆1,140Apr 28, 2024Updated last year
• saschagrunert / rain

  View on GitHub
  Visualize vertical data inside your terminal 💦
  ☆90Jan 28, 2025Updated last year
• shnarazk / splr

  View on GitHub
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆102Jun 27, 2025Updated 7 months ago
• bluss / debugit

  View on GitHub
  DebugIt: Use specialization so you can debug-print a value without explicit (and viral) Debug trait bound. (Not really maintained. Uses …
  ☆10Nov 27, 2021Updated 4 years ago
• jamesmunns / mvdb-rs

  View on GitHub
  Minimum Viable (Psuedo) Database
  ☆10Aug 5, 2017Updated 8 years ago
• sldty / kitbag

  View on GitHub
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Aug 6, 2021Updated 4 years ago
• Ameobea / noise-asmjs

  View on GitHub
  Uses `noise-rs` library rendered to render noise to a canvas, allowing users to select and configure the utilized noise functions.
  ☆11Nov 19, 2018Updated 7 years ago
• attackgoat / jw-basic

  View on GitHub
  A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.
  ☆11Feb 7, 2024Updated 2 years ago
• celaus / rust-cratedb

  View on GitHub
  CrateDB driver for Rust
  ☆14Aug 16, 2018Updated 7 years ago
• signalapp / poksho

  View on GitHub
  ☆10May 2, 2022Updated 3 years ago
• ruuda / transducers

  View on GitHub
  A transducer library for Rust
  ☆10May 22, 2016Updated 9 years ago
• Rust-Proof / rustproof

  View on GitHub
  rust verification condition generator
  ☆96Aug 31, 2016Updated 9 years ago
• DanielKeep / rust-scan-rules

  View on GitHub
  ☆23Nov 7, 2016Updated 9 years ago
• BurntSushi / nakala

  View on GitHub
  A low level embedded information retrieval system.
  ☆46Dec 10, 2020Updated 5 years ago
• losfair / IceCore

  View on GitHub
  Application container built for WebAssembly
  ☆111May 6, 2018Updated 7 years ago
• XAMPPRocky / i8080

  View on GitHub
  An intel 8080 emulator
  ☆31Sep 22, 2024Updated last year
• cvc5 / LFSC

  View on GitHub
  LFSC Proof Checker
  ☆11Sep 14, 2023Updated 2 years ago
• GGist / pendulum-rs

  View on GitHub
  Timer Wheels With Various Runtimes In Rust
  ☆15Nov 29, 2017Updated 8 years ago
• fables-tales / decachedmem

  View on GitHub
  ☆45Jan 17, 2017Updated 9 years ago
• jix / partial_ref

  View on GitHub
  Type checked partial references for rust
  ☆15Jul 17, 2021Updated 4 years ago
• chris-morgan / phantom-enum

  View on GitHub
  A simple macro library for creating phantom enums. Just simple sugar.
  ☆14Jun 8, 2016Updated 9 years ago
• gabdube / D2D1_rs_simple_example

  View on GitHub
  The direct 2D api used from rust.
  ☆10Jul 30, 2016Updated 9 years ago
• jDomantas / erlangish

  View on GitHub
  ☆12Feb 6, 2018Updated 8 years ago