sat-rs

A SAT solver written in Rust

MIT License

Stars
2
View Code on GitHub Visit Website View on X
Ecosystems: Rust

Statistics for this project are still being loaded, please check back later.

Badges
Extracted from project README
built with nix
Related Projects
rust-examples

Examples from tutorial and other documentations of Rust.

24 Sep 2013 236
rust-algorithms

Common data structures and algorithms in Rust

16 May 2017 3,750
Rustdoku

A simple Sudoku solver written in Rust

06 Mar 2016 19
mastermind

A mastermind solver for finding optimal worst-case guesses with SIMD and multithreading support

02 Jul 2022 5
cryptominisat-rs

Rust bindings for CryptoMiniSat, a boolean satisfiability solver

24 Jul 2016 8
learn-rust-for-fe

Rust是未来前端基础设施

09 Nov 2021 1,726
bellman-examples

examples for bellman zk-snarks library

25 Aug 2018 58
lrs

A library crate for resolving logical clauses in conjuctive normal form

24 Oct 2017 0
rust-algs4

Algorithms, 4th Edition. Coursera MOOC. in Rust.

03 Jul 2015 92
kani

Kani Rust Verifier

26 Mar 2021 1,886
coq-of-rust

Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...

28 Dec 2022 124
varisat

SAT solver written in Rust

03 Feb 2019 243
satire

An educational SAT solver written in Rust

23 Jun 2021 12
rust-sat

SAT solving with Rust

26 Nov 2014 3
rust99

This is an adoption of S-99 or P-99 for Rustlang 🦀

10 Apr 2020 38