chrjabs / rustsat

Related projects ⓘ

Alternatives and complementary repositories for rustsat

• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆81Updated this week
• nu11ptr / criterion-table
  Generate markdown comparison tables from `cargo-criterion` JSON output
  ☆28Updated 2 years ago
• vandenheuvel / relp
  A Linear Program solver written in Rust.
  ☆18Updated last month
• LPGhatguy / nonmax
  Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.
  ☆42Updated 10 months ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆83Updated 4 years ago
• wasm-rs / async-executor
  Async executor for WebAssembly
  ☆77Updated last year
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆31Updated 3 years ago
• sam0x17 / macro_state
  A simple set of Rust proc macros for reading and writing global compile-time state between macro calls
  ☆29Updated last month
• bkchr / impl-trait-for-tuples
  Rust attribute macro to implement a trait for tuples
  ☆23Updated 3 weeks ago
• pest-parser / ast
  ☆81Updated 7 months ago
• seanyoung / lrpeg
  Left Recursive PEG for rust
  ☆67Updated 2 years ago
• dtolnay / typeid
  Const TypeId and non-'static TypeId
  ☆55Updated 3 weeks ago
• nilehmann / backtracetk
  Command line util to pretty print Rust backtraces
  ☆28Updated 4 months ago
• rkyv / rel
  An object system for Rust based on relative pointers
  ☆37Updated last year
• GuillaumeGomez / rustc-tools
  Some internal rustc tools made accessible
  ☆42Updated 3 months ago
• pvdrz / sire
  A symbolic evaluator for MIR
  ☆19Updated 4 years ago
• scipopt / russcip
  Rust interface for SCIP
  ☆41Updated 2 weeks ago
• programmerjake / algebraics
  algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
  ☆26Updated 11 months ago
• bkchr / proc-macro-crate
  `$crate` in procedural macros.
  ☆65Updated 2 months ago
• auto-impl-rs / auto_impl
  Automatically implement traits for common smart pointers
  ☆104Updated 8 months ago
• Patryk27 / clippy-dirty
  `cargo clippy`, but only for the files / lines you've just modified
  ☆18Updated 3 years ago
• matklad / cov-mark
  ☆55Updated 5 months ago
• ejmahler / strength_reduce
  Faster integer division and modulus operations
  ☆70Updated last year
• Robbepop / apint
  Arbitrary precision integers library.
  ☆26Updated 3 years ago
• model-checking / kani-github-action
  This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
  ☆11Updated 10 months ago
• usbalbin / iter_fixed
  Iterator of const known length
  ☆14Updated 3 months ago
• ptal / pcp
  Constraint programming in Rust
  ☆102Updated last year
• Ekleog / indexed-db
  Bindings to IndexedDB that default the transactions to aborting
  ☆16Updated 8 months ago
• H2CO3 / parsel
  Generate parsers directly from AST node types
  ☆79Updated 5 months ago
• notflan / stackalloc-rs
  A safe library for allocating arbitrarily sized data on the stack at runtime in Rust.
  ☆16Updated 6 months ago