Sat Python Packages

satcfdi

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

pindakaas

A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

pyapproxmc

Approximate Model Counter

ttable

a Pythonic toolkit for working with Boolean expressions

autoguess

An easy-to-use, general and open-source tool to solve the guess-and-determine problem

dfa-identify

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

bauhaus

Build logical theories for SAT solvers on the fly

nonebot-plugin-cqsat

业余无线电助手，基于Nonebot2

limboole

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

oraculai

An implementation of the O_SAT and O_UNSAT oracles. These oracles cannot exist. They do now.

npycomp

A Python library for NP-complete reductions.

normal-form

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)

sats-receiver

Satellites data receiver based on GNU Radio

definition

Definition fetcher from 5 online dictionaries

satex

Helper script for managing SAT Heritage docker images

cfdibills

Utility to parse, validate and verify CFDI (Mexican invoice)

eqbool

Testing boolean expressions for equivalence

pycscl

A lightweight CNF SAT constraint encoder library