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 (automata) from labeled examples.

bauhaus

Build logical theories for SAT solvers on the fly

nonebot-plugin-cqsat

业余无线电助手，基于Nonebot2

definition

A quick command line tool to find word meanings from 4-5 online dictionaries

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

limboole

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

npycomp

A Python library for NP-complete reductions.

satex

Helper script for managing SAT Heritage docker images

cfdibills

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

pycscl

A lightweight CNF SAT constraint encoder library

eqbool

Testing boolean expressions for equivalence