Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Screwsat

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Stars
33
License
other
Open Issues
3
Most Recent Commit
a year ago
Programming Language
Rust
Total Releases
18
Latest Release
January 27, 2021
Categories
Repo
Suggest An Alternative To screwsat
Popular Sat Solver Projects
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 3 months ago
Popular Mathematics Projects
Freecodecamp ⭐ 384,908
freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.
dependent packages 2total releases 22latest release October 05, 2018most recent commit a month agonpm @freecodecamp/curriculum} Downloads
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Rust Mathematics
Rust Competitive Programming
Mathematics Competitive Programming
Rust Sat Solver
Rust Sat
Mathematics Sat

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Mathematics
Competitive Programming
Sat Solver
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.