PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Sat Python Packages

Python packages with the GitHub topic sat. Sorted by relevance, with stars and monthly downloads.
SAT-CFDI
satcfdi

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

28K 142 42
pindakaashq
pindakaas

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

22K 12 6
meelgroup
pyapproxmc

Approximate Model Counter

8K 88 29
welchbj
ttable

a Pythonic toolkit for working with Boolean expressions

6K 219 12
hadipourh
autoguess

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

1K 33 5
mvcisback
dfa-identify

Python library for identifying (learning) DFAs (automata) from labeled examples.

890 8 3
QuMuLab
bauhaus

Build logical theories for SAT solvers on the fly

680 8 2
yzyyz1387
nonebot-plugin-cqsat

业余无线电助手,基于Nonebot2

606 40 0
shubhamchaudhary
definition

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

317 3 2
vaibhavkarve
normal-form

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

255 3 0
baskiton
sats-receiver

Satellites data receiver based on GNU Radio

207 13 4
maximaximal
limboole

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

205 10 5
HRSAndrabi
npycomp

A Python library for NP-complete reductions.

192 0 0
sat-heritage
satex

Helper script for managing SAT Heritage docker images

179 40 3
peguerosdc
cfdibills

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

149 7 2
fkutzner
pycscl

A lightweight CNF SAT constraint encoder library

93 5 1
kosarev
eqbool

Testing boolean expressions for equivalence

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