Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Sat Solver Open Source Projects

Open source projects categorized as Sat Solver
Categories > Security > Sat Solver
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1most recent commit 3 months ago
Creusat ⭐ 563
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
most recent commit a year ago
Stp ⭐ 477
Simple Theorem Prover, an efficient SMT solver for bitvectors
most recent commit 4 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19most recent commit 3 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 3 months ago
Quadriflow ⭐ 337
QuadriFlow: A Scalable and Robust Method for Quadrangulation
most recent commit 4 years ago
Phil ⭐ 260
A crossword maker.
most recent commit 9 months ago
Varisat ⭐ 211
SAT solver written in Rust
dependent packages 5total releases 2most recent commit a year agocargo varisat-formula} Downloads
Tt ⭐ 197
a Pythonic toolkit for working with Boolean expressions
dependent packages 1total releases 10most recent commit 4 years agopypi ttable} Downloads
Neurosat ⭐ 154
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
most recent commit 5 years ago
Toysolver ⭐ 145
My sandbox for experimenting with solver algorithms.
total releases 15most recent commit 10 months ago
Minizinc Python ⭐ 127
Access to all MiniZinc functionality directly from Python
dependent packages 8total releases 23most recent commit 3 months agopypi minizinc} Downloads
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33most recent commit 3 years ago
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23most recent commit 3 years ago
Go Sat ⭐ 110
SAT solver written in Go (golang).
total releases 1most recent commit 7 years ago
Simple Sat ⭐ 97
Simple recursive and iterative SAT solver written in Python.
most recent commit 5 years ago
Msat ⭐ 96
A modular sat/smt solver with proof output.
most recent commit 4 months ago
Go Z3 ⭐ 92
Go (golang) bindings to the Z3 SMT Solver
total releases 1most recent commit 3 years ago
Gapt ⭐ 82
GAPT: General Architecture for Proof Theory
total releases 2most recent commit 2 years ago
Chuffed ⭐ 77
The Chuffed CP solver
most recent commit 3 months ago
Splr ⭐ 63
A modern CDCL SAT solver in Rust
dependent packages 1total releases 30most recent commit 4 months agocargo splr} Downloads
Ersatz ⭐ 61
A monad for interfacing with external SAT solvers
total releases 27most recent commit 4 months ago
Diff Sat ⭐ 56
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
most recent commit 3 months ago
The 10 Most Depended On Sat Solver Open Source Projects
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Minizinc Python ⭐ 127
Access to all MiniZinc functionality directly from Python
dependent packages 8total releases 23latest release March 02, 2022most recent commit 3 months agopypi minizinc} Downloads
Varisat ⭐ 211
SAT solver written in Rust
dependent packages 5total releases 2latest release September 09, 2020most recent commit a year agocargo varisat-formula} Downloads
Gini ⭐ 121
A fast SAT solver
dependent packages 5total releases 23latest release January 31, 2019most recent commit 3 years ago
Sat ⭐ 6
:satisfied: Boolean formula satisfiability algorithms for JavaScript
dependent packages 3total releases 5latest release October 16, 2015most recent commit 3 months agonpm aureooms-js-sat} Downloads
Solvent ⭐ 25
Dependency Resolver written in rust
dependent packages 3total releases 18latest release November 26, 2021most recent commit 2 years agocargo solvent} Downloads
Gini ⭐ 125
A fast SAT solver
dependent packages 3total releases 33latest release August 26, 2021most recent commit 3 years ago
Rate ⭐ 7
DRAT/DPR proof checker
dependent packages 3total releases 5latest release January 01, 2020most recent commit 2 years agocargo rate-common} Downloads
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months ago
Nodepicosat ⭐ 6
SAT solver PicoSAT for javascript
dependent packages 2total releases 6latest release March 31, 2018most recent commit 6 years agonpm picosat} Downloads
The 10 Latest Releases In Sat Solver Open Source Projects
Haskell Picosat ⭐ 13
Haskell bindings for PicoSAT solver
total releases 9latest release December 02, 2023most recent commit 4 years ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Ersatz ⭐ 61
A monad for interfacing with external SAT solvers
total releases 27latest release September 18, 2023most recent commit 4 months ago
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
Sat Solver ⭐ 8
DPLL boolean satisfiability solver for .NET
total releases 6latest release April 10, 2023most recent commit 3 months ago
Toysolver ⭐ 145
My sandbox for experimenting with solver algorithms.
total releases 15latest release September 20, 2022most recent commit 10 months ago
Gapt ⭐ 82
GAPT: General Architecture for Proof Theory
total releases 2latest release July 21, 2022most recent commit 2 years ago
Sat.rkt ⭐ 6
A simple SAT solver based on DPLL written in Racket.
latest release July 11, 2022most recent commit 2 years ago
Minizinc Python ⭐ 127
Access to all MiniZinc functionality directly from Python
dependent packages 8total releases 23latest release March 02, 2022most recent commit 3 months agopypi minizinc} Downloads
Solvent ⭐ 25
Dependency Resolver written in rust
dependent packages 3total releases 18latest release November 26, 2021most recent commit 2 years agocargo solvent} Downloads
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
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.