Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Rust Sat Solver Open Source Projects

Open source projects categorized as Rust Sat Solver
Categories > Security > Sat Solver
Creusat ⭐ 563
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
most recent commit a year ago
Varisat ⭐ 211
SAT solver written in Rust
dependent packages 5total releases 2most recent commit a year agocargo varisat-formula} Downloads
Splr ⭐ 63
A modern CDCL SAT solver in Rust
dependent packages 1total releases 30most recent commit 4 months agocargo splr} Downloads
Minisat Rust ⭐ 51
Experimental minisat SAT solver reimplementation in Rust
most recent commit 5 years ago
Screwsat ⭐ 33
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
total releases 18most recent commit a year ago
Solvent ⭐ 25
Dependency Resolver written in rust
dependent packages 3total releases 18most recent commit 2 years agocargo solvent} Downloads
Batsat ⭐ 24
A (parametrized) Rust SAT solver originally based on MiniSat
total releases 5most recent commit a year ago
Drsat ⭐ 8
Daniel's Rusty SAT solver
most recent commit a year ago
Rate ⭐ 7
DRAT/DPR proof checker
dependent packages 3total releases 5most recent commit 2 years agocargo rate-common} Downloads
N Queens Sat ⭐ 5
Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.
most recent commit 7 years ago
The 4 Most Depended On Rust Sat Solver Open Source Projects
Varisat ⭐ 211
SAT solver written in Rust
dependent packages 5total releases 2latest release September 09, 2020most recent commit a year agocargo varisat-formula} Downloads
Solvent ⭐ 25
Dependency Resolver written in rust
dependent packages 3total releases 18latest release November 26, 2021most recent commit 2 years agocargo solvent} Downloads
Rate ⭐ 7
DRAT/DPR proof checker
dependent packages 3total releases 5latest release January 01, 2020most recent commit 2 years agocargo rate-common} Downloads
Splr ⭐ 63
A modern CDCL SAT solver in Rust
dependent packages 1total releases 30latest release July 09, 2023most recent commit 4 months agocargo splr} Downloads
The 6 Latest Releases In Rust Sat Solver Open Source Projects
Splr ⭐ 63
A modern CDCL SAT solver in Rust
dependent packages 1total releases 30latest release July 09, 2023most recent commit 4 months agocargo splr} Downloads
Solvent ⭐ 25
Dependency Resolver written in rust
dependent packages 3total releases 18latest release November 26, 2021most recent commit 2 years agocargo solvent} Downloads
Screwsat ⭐ 33
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
total releases 18latest release January 27, 2021most recent commit a year ago
Batsat ⭐ 24
A (parametrized) Rust SAT solver originally based on MiniSat
total releases 5latest release January 12, 2021most recent commit a year ago
Varisat ⭐ 211
SAT solver written in Rust
dependent packages 5total releases 2latest release September 09, 2020most recent commit a year agocargo varisat-formula} Downloads
Rate ⭐ 7
DRAT/DPR proof checker
dependent packages 3total releases 5latest release January 01, 2020most recent commit 2 years agocargo rate-common} Downloads
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.