PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
pindakaashq
pindakaas

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

46K 12 6
SAT-CFDI
satcfdi

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

23K 134 42
meelgroup
pyapproxmc

Approximate Model Counter

13K 87 29
welchbj
ttable

a Pythonic toolkit for working with Boolean expressions

5K 219 12
hadipourh
autoguess

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

2K 33 5
mvcisback
dfa-identify

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

1K 8 3
yzyyz1387
nonebot-plugin-cqsat

业余无线电助手,基于Nonebot2

722 40 0
QuMuLab
bauhaus

Build logical theories for SAT solvers on the fly

543 8 2
vaibhavkarve
normal-form

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

291 3 0
shubhamchaudhary
definition

Definition fetcher from 5 online dictionaries

266 3 2
baskiton
sats-receiver

Satellites data receiver based on GNU Radio

257 12 4
sat-heritage
satex

Helper script for managing SAT Heritage docker images

245 40 3
maximaximal
limboole

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

231 10 5
HRSAndrabi
npycomp

A Python library for NP-complete reductions.

189 0 0
peguerosdc
cfdibills

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

87 6 2
fkutzner
pycscl

No description available

76 5 1
kosarev
eqbool

Testing boolean expressions for equivalence

69 0 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery