Enhancing the Factorio experience with SAT solvers

a Pythonic toolkit for working with Boolean expressions

Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.

The best open-source python library to generate and process SAT's CFDI

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

业余无线电助手，基于Nonebot2

Implementations of the Separating axis theorem. Useful for convex collision detection.

An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Modelo OCR que resuelve captchas de SAT en décimas de segundo.

Framework for studying cryptographic hash functions using SAT.

Implementation of basic CDCL-based SAT solver in Python

High-level interfaces over @msoos's CryptoMiniSat.

Python library for identifying/learning DFAs from labeled examples by reduction to SAT.

Build logical theories for SAT solvers on the fly

Satellites data receiver based on GNU Radio

A lightweight CNF SAT constraint encoder library

SAT-X is a language for constrained optimization and decision problems over positive integers, that work with any SAT Competition standard SAT solver. Is based on Python, and is ase to learn and easy to use with all technologies associated to this language.

A solver for Slitherlinky (also called Loop-the-Loop) that uses SAT.

Solving Nonograms with SAT solvers