satisfiability 开源项目推荐（148 个）

sarsko /CreuSAT

CreuSAT——一个正式验证的SAT求解器，用Rust编写并通过Creusot验证。

SRI-CSL /yices2

SRI Yices SMT Solver

welchbj /tt

a Pythonic toolkit for working with Boolean expressions

audemard /glucose

The glucose SAT solver

circuitgraph /circuitgraph

Tools for working with circuits as graphs in python

shnarazk /splr

A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat

meelgroup /approxmc

Approximate Model Counter

NationalSecurityAgency /XORSATFilter

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

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.

MatthiasNickles /diff-SAT

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

meelgroup /ganak

High-performance model counter

NationalSecurityAgency /Foundation

Foundation is a repository of formal cryptographic specifications

biotomas /ipasir

The Standard Interface for Incremental Satisfiability Solving

google /kiwi-solver

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

triska /clpb

Boolean Constraint Solving in Prolog

sukrutrao /SAT-Solver-DPLL

A simple SAT solver that implements the DPLL algorithm with unit resolution

sukrutrao /Timetabler

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

vsklad /cgen

CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.

sgomber /CDCL-SAT

A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python

Thinklab-SJTU /HardSATGEN

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