Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with satisfiability

A curated list of projects in awesome lists tagged with satisfiability .

https://github.com/sarsko/CreuSAT

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

automated-reasoning deductive-reasoning formal-methods formal-verification minisat proof rust rust-lang sat sat-solver satisfiability verification

Last synced: 09 May 2025

https://github.com/welchbj/tt

a Pythonic toolkit for working with Boolean expressions

boolean boolean-algebra boolean-expression python sat sat-solver satisfiability transformations truth-table

Last synced: 16 Sep 2025

https://github.com/circuitgraph/circuitgraph

Tools for working with circuits as graphs in python

boolean-circuits eda graphs netlist python satisfiability

Last synced: 11 May 2025

https://github.com/shnarazk/splr

A modern CDCL SAT solver in Rust

cdcl nix-flake rust sat-solver satisfiability

Last synced: 13 Apr 2025

https://github.com/google/kiwi-solver

Kiwi is a minimalist and extendable Constraint Programming (CP) solver.

architecture combinatorial-optimization education optimization propagators satisfiability solver

Last synced: 10 Jan 2026

https://github.com/chrjabs/rustsat

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.

encodings sat satisfiability

Last synced: 30 Jan 2026

https://github.com/nationalsecurityagency/xorsatfilter

A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.

c dictionary efficient filter satisfiability

Last synced: 27 Apr 2025

https://github.com/thinklab-sjtu/hardsatgen

[SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

combinatorial-optimization generative-model graph-neural-networks machine-learning satisfiability

Last synced: 20 Aug 2025

https://github.com/maxtuno/slime-sat-solver

A Free World Class High Performance SAT Solver

cnf cnf-clauses cnf-encoding sat sat-solver satisfiability

Last synced: 08 Oct 2025

https://github.com/hellman/quine-mccluskey

DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm

boolean-minimization cnf dnf quine-mccluskey satisfiability

Last synced: 11 Apr 2025

https://github.com/cipherboy/hash_framework

Framework for studying cryptographic hash functions using SAT.

cryptographic-hash-functions cryptography distributed-computing md4 md5 sat satisfiability sha3 siphash

Last synced: 24 Apr 2025

https://github.com/weaversa/mphf

An efficient minimal perfect hash function generator for small sets

efficient hash-functions minimal-perfect-hash mphf sat satisfiability

Last synced: 09 Apr 2025

https://github.com/cipherboy/cmsh

High-level interfaces over @msoos's CryptoMiniSat.

circuit cnf cryptominisat cryptominisat5 golang high-level python sat satisfiability

Last synced: 24 Apr 2025

https://github.com/devonfulcher/proof-of-sat

Generate and solve random instances of MAX-SAT and instances of MAX-SAT that are deterministically and pseudo-randomly generated from the solutions of previous MAX-SAT instances. This is a prototype of how a proof of work algorithm can be derived from a relevant problem.

blockchain blockchain-technology boolean-satisfiability consensus consensus-algorithm proof-of-work satisfiability

Last synced: 18 Sep 2025

https://github.com/flopp/gol-sat

A SAT-based forward/backwards solver for Conway's "Game of Life".

conways-game-of-life game-of-life gameoflife minisat sat sat-solver satisfiability

Last synced: 15 Mar 2025

https://github.com/schwering/sat

SAT solver for education

logic sat satisfiability satisfiability-solver

Last synced: 05 Mar 2026

https://github.com/hellman/optimodel

A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)

bitvectors cnf dnf linear-programming milp minimization satisfiability

Last synced: 16 Mar 2026

https://github.com/shnarazk/sudoku_sat

Solving Sudoku variants with SAT solvers

rust sat-solver satisfiability sudoku

Last synced: 11 Oct 2025

https://github.com/hellman/optisolveapi

Optimization & Solving common API (SAT, MILP, etc.)

cnf milp optimization satisfiability solving

Last synced: 11 Apr 2025

https://github.com/ben-marshall/sat-solver

A simple combinatorial boolean sat solver based on the AC-3 Algorithm

ac-3 bison c sat-solver satisfiability satisfiability-solver yacc

Last synced: 22 Mar 2025

https://github.com/boschmitt/satomi

Yet another SAT solver developed in C.

c sat-solver satisfiability

Last synced: 14 Mar 2025

https://github.com/tchaumeny/satisfaction

Investigate phase transitions in k-SAT problems

2-sat 3-sat computer-science phase-transitions sat-solver satisfiability

Last synced: 13 Apr 2026

https://github.com/leabrodyheine/mosaic-game-logical-agents

This project implements an intelligent agent to solve the Mosaic logic puzzle using strategies such as Single Point Strategy, Satisfiability Test Reasoning (with DNF and CNF encoding), and Probabilistic Reasoning. It utilizes frameworks and libraries including Java, LogicNG, and SAT4J for logical reasoning and satisfiability problems.

ai-agents backend cnf dnf logic-programming logical-ag logicng sat4j satisfiability

Last synced: 09 Oct 2025

https://github.com/ericr/saturday

A SAT solver. It's maybe kinda fast and correct?

sat satisfiability solver

Last synced: 14 Jan 2026

https://github.com/kuanhungchen/spring-2020-applied-mathematical-logic

📈 Implementation of a SAT solver to solve satisfiability problems.

sat-solving satisfiability satisfiability-solver

Last synced: 30 Aug 2025