Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for rust sat solver
rust
x
sat-solver
x
10 search results found
Creusat
⭐
563
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Varisat
⭐
211
SAT solver written in Rust
Splr
⭐
63
A modern CDCL SAT solver in Rust
Minisat Rust
⭐
51
Experimental minisat SAT solver reimplementation in Rust
Screwsat
⭐
33
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Solvent
⭐
25
Dependency Resolver written in rust
Batsat
⭐
24
A (parametrized) Rust SAT solver originally based on MiniSat
Drsat
⭐
8
Daniel's Rusty SAT solver
Rate
⭐
7
DRAT/DPR proof checker
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.
Related Searches
Command Line Rust (3,187)
Rust R (1,912)
Javascript Rust (1,421)
Video Game Rust (1,177)
Rust Bindings (1,170)
Typescript Rust (1,111)
Rust Language (1,068)
Python Rust (966)
Rust Blockchain (938)
C Plus Plus Rust (885)
1-10 of 10 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.