Project Name	Stars	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Diff Sat	56	3 months ago				mit	Scala
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Solver	16	2 years ago			2	apache-2.0	Go
SAT solver library in Go; wraps around Google's Operational Research Tools
Pigosat	13	6 years ago	7	February 18, 2018	3	other	C
Go (golang) bindings for Picosat, the satisfiability solver

Alternatives To Solver

Select To Compare

Diff Sat ⭐ 56

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

most recent commit 3 months ago

Solver ⭐ 16

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

most recent commit 2 years ago

Pigosat ⭐ 13

Go (golang) bindings for Picosat, the satisfiability solver

total releases 7most recent commit 6 years ago

Suggest An Alternative To solver

Alternative Project Comparisons

Solver vs Diff Sat

Solver vs Pigosat

Popular Sat Solver Projects

Cryptominisat ⭐ 767

An advanced SAT solver

dependent packages 2total releases 1latest release January 25, 2019most 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 19latest release November 24, 2023most recent commit 3 months ago

Yices2 ⭐ 345

The Yices SMT Solver

most recent commit 3 months ago

Popular Optimization Projects

Cpython ⭐ 57,993

The Python programming language

dependent packages 15total releases 8latest release December 29, 2021most recent commit 3 months ago

Ray ⭐ 29,596

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

dependent packages 363total releases 95latest release December 04, 2023most recent commit 3 months ago

Svgo ⭐ 20,078

⚙️ Node.js tool for optimizing SVG files

dependent packages 4,469total releases 98latest release November 30, 2023most recent commit 3 months ago

Cs Interview Knowledge Map ⭐ 17,020

Build the best interview map. The current content includes JS, network, browser related, performance optimization, security, framework, Git, data structure, algorithm, etc.

most recent commit 4 years ago

Prepack ⭐ 14,247

A JavaScript bundle optimizer.

dependent packages 65total releases 54latest release October 08, 2018most recent commit 2 years ago

Popular Security Categories