Top 9 sat-solver Open-Source Projects

cryptominisat

2 789 9.7 C++

An advanced SAT solver

Project mention: The Silent (R)evolution of SAT | news.ycombinator.com | 2023-05-26

ManySAT: http://www.cril.univ-artois.fr/~jabbour/manysat.htm
It shares short conflict clauses between parallel solvers and achieves superlinear speedup in some cases, e.g., 4 parallel solvers solve faster than one forth of the single solver soolution time.
Short conflict clauses are rare so there is little communication between solvers required.
CryptoMiniSAT: https://github.com/msoos/cryptominisat
Author's goal to have solver that is good in computing range from single CPU up to cluster. Judging from CryptoMiniSAT successes, he has mostly reached the goal.

CreuSAT

8 582 6.9 Rust

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
toysolver

0 151 4.1 Haskell

My sandbox for experimenting with solver algorithms.
minizinc-python

3 132 8.4 Python

Access to all MiniZinc functionality directly from Python

Project mention: Matrix / 2d Array Puzzle-Like Problem | /r/algorithms | 2023-05-08

Now, you say you need to solve this using Python. I would personally either use the MiniZinc Python driver or I would use the OR-Tools Python package and write a similar model to the one above.

screwsat

2 36 2.4 Rust

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
solver

3 22 0.0 Go

SAT solver library in Go; wraps around Google's Operational Research Tools
picosat

0 16 0.0 C

Haskell bindings for PicoSAT solver
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
picologic

0 14 0.0 Haskell

Symbolic logic expressions
kotlin-satlib

1 8 8.5 Kotlin

🗿 SAT solver wrappers for Kotlin

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).