Search Packages

pindakaas

Boolean satisfiability (SAT) library with efficient encoding of complex constraints and solver interaction

satcfdi

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

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.

nonebot-plugin-cqsat

业余无线电助手，基于Nonebot2

bauhaus

Build logical theories for SAT solvers on the fly

normal-form

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

definition

Definition fetcher from 5 online dictionaries

sats-receiver

Satellites data receiver based on GNU Radio

satex

Helper script for managing SAT Heritage docker images

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.

cfdibills

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

pycscl

No description available

eqbool

Testing boolean expressions for equivalence