Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "sat" keyword
ctlog 0.6.0
SAT-Based Combinatorial Testing in Python2 versions - Latest release: 11 months ago - 18 downloads last month - 1 maintainer
spytnik 0.0.1
SPyTnik STRF Trace Viewer1 version - Latest release: over 2 years ago - 1 dependent repositories - 12 downloads last month - 0 stars on GitLab.com - 1 maintainer
z3-solver-crosshair 4.8.8.0.1
A fork of the Z3 SMT solver library for use in CrossHair.1 version - Latest release: about 4 years ago - 1 dependent package - 1 dependent repositories - 67 downloads last month - 9,422 stars on GitHub - 1 maintainer
Top 0.6% on pypi.org
35 versions - Latest release: 3 months ago - 64 dependent packages - 693 dependent repositories - 275 thousand downloads last month - 9,426 stars on GitHub - 5 maintainers
z3-solver 4.13.0.0
an efficient SMT solver library35 versions - Latest release: 3 months ago - 64 dependent packages - 693 dependent repositories - 275 thousand downloads last month - 9,426 stars on GitHub - 5 maintainers
z3-solver-mythril 4.8.4.1
an efficient SMT solver library1 version - Latest release: over 5 years ago - 2 dependent repositories - 105 downloads last month - 9,426 stars on GitHub - 1 maintainer
sudoku-sat 1.0.0
Solve and generate basic Sudokus and Sudokus with an extended set of rules.1 version - Latest release: over 2 years ago - 1 dependent repositories - 9 downloads last month - 2 stars on GitHub - 1 maintainer
satcfdi 4.4.16 💰
The best open-source python library to generate and process SAT's CFDI103 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 652 downloads last month - 35 stars on GitHub - 1 maintainer
bauhaus 1.1.4
Build logical theories for SAT solvers on the fly6 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 97 downloads last month - 6 stars on GitHub - 2 maintainers
cvc4-solver 1.6
an efficient SMT solver library1 version - Latest release: over 5 years ago - 1 dependent package - 1 dependent repositories - 964 downloads last month - 1 maintainer
definition 0.1.2 💰
Definition fetcher from 5 online dictionaries6 versions - Latest release: about 7 years ago - 7 dependent repositories - 248 downloads last month - 3 stars on GitHub - 1 maintainer
satex 1.2.1
Helper script for managing SAT Heritage docker images10 versions - Latest release: almost 4 years ago - 1 dependent repositories - 26 downloads last month - 38 stars on GitHub - 1 maintainer
satlll 0.1.0
A Python tool that implements Lovasz Local Lemma's application on The Boolean Satisfiability (SAT...1 version - Latest release: over 1 year ago - 13 downloads last month - 0 stars on GitHub - 1 maintainer
pyunigen 2.5.8
Bindings to UniGen, an approximate sampler8 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 186 downloads last month - 70 stars on GitHub - 1 maintainer
pyapproxmc 4.1.24
Bindings to ApproxMC, an approximate model counter23 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 855 downloads last month - 70 stars on GitHub - 1 maintainer
satdigitalinvoice 4.0.31
GUI APP to Generate CFDI62 versions - Latest release: about 1 month ago - 268 downloads last month - 2 stars on GitHub - 1 maintainer
optilog 0.6.0
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SA...14 versions - Latest release: 7 months ago - 2 dependent packages - 1 dependent repositories - 407 downloads last month - 37 stars on GitHub - 1 maintainer
pycmsgen 6.1.0
Bindings to CMSGen, uniform-like sampler7 versions - Latest release: 4 months ago - 184 downloads last month - 8 stars on GitHub - 1 maintainer
rustsat 0.4.3
This library aims to provide implementations of elements commonly used in the development on soft...5 versions - Latest release: 4 months ago - 165 downloads last month - 8 stars on GitHub - 1 maintainer
sat-datetime 1.0.1
Sat universe time calculation6 versions - Latest release: over 1 year ago - 1 dependent repositories - 30 downloads last month - 0 stars on GitHub - 1 maintainer
sats-receiver 0.1.76
Satellites data receiver based on GNU Radio5 versions - Latest release: 10 months ago - 25 downloads last month - 3 stars on GitHub - 1 maintainer
facturapi-python 0.1.4
Unofficial Facturapi.io Python client7 versions - Latest release: over 1 year ago - 242 downloads last month - 2 stars on GitHub - 1 maintainer
words-cli 0.0.1
Learn some new words!1 version - Latest release: 10 months ago - 2 dependent repositories - 1 stars on GitHub - 1 maintainer
cfdibills 0.3.0 💰
Read and verify CFDI bills via SAT's web service5 versions - Latest release: almost 2 years ago - 24 downloads last month - 2 stars on GitHub - 1 maintainer
ssc-compiler 1.0.3
Describe generalized Sudokus through simple equations. Compile programs to SAT and solve them wit...4 versions - Latest release: over 2 years ago - 1 dependent repositories - 21 downloads last month - 1 stars on GitHub - 1 maintainer
picosat-cffi 0.0.1
Low-level CFFI bindings for PicoSAT1 version - Latest release: about 11 years ago - 2 dependent repositories - 12 downloads last month - 1 maintainer
pycscl 0.2.0
A lightweight CNF SAT constraint encoder library2 versions - Latest release: over 5 years ago - 1 dependent repositories - 16 downloads last month - 5 stars on GitHub - 1 maintainer
normal-form 0.1.7
A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability8 versions - Latest release: over 1 year ago - 76 downloads last month - 2 stars on GitHub - 1 maintainer
Top 3.9% on pypi.org
25 versions - Latest release: 4 months ago - 1 dependent package - 35 dependent repositories - 2.66 thousand downloads last month - 788 stars on GitHub - 1 maintainer
pycryptosat 5.11.21
Bindings to CryptoMiniSat, an advanced SAT solver25 versions - Latest release: 4 months ago - 1 dependent package - 35 dependent repositories - 2.66 thousand downloads last month - 788 stars on GitHub - 1 maintainer
dfa_identify 3.13.0
Python library for identifying (learning) DFAs (automata) from labeled examples.34 versions - Latest release: 3 months ago - 271 downloads last month - 5 stars on GitHub - 1 maintainer
sync-py 1.0.4
Consume Paybook Sync REST API without pain3 versions - Latest release: over 3 years ago - 1 dependent repositories - 1.03 thousand downloads last month - 6 stars on GitHub - 1 maintainer
cnftools 0.0.2
A collection of tools for working with and generating Dimacs CNF files.2 versions - Latest release: over 5 years ago - 1 dependent repositories - 29 downloads last month - 1 stars on GitHub - 1 maintainer
nonebot-plugin-cqsat 0.1.12
nonebot2 业余无线电卫星27 versions - Latest release: 3 months ago - 270 downloads last month - 29 stars on GitHub - 1 maintainer
cryptosym 0.1.0 removed
Symbolic bitvector computation with cryptographic applications1 version - Latest release: about 2 years ago - 30 stars on GitHub
cfdibilly 0.1.0a10 removed
Read and verify CFDI invoices via SAT's web service9 versions - Latest release: about 2 years ago
Related Keywords
satisfiability
5
cfdi
5
cnf
4
smt
4
prover
4
theorem
4
python
3
z3
3
mexico
3
solver
2
facturacion-electronica
2
logic
2
sat-solver
2
constraints
2
encodings
2
model-couting
2
cryptography
2
gre
2
counting
2
model-counting
2
sat-solvers
2
docker
2
reproducibility
2
maxsat
2
DIOT
2
e-invoicing
2
contabilidad
2
carta porte
2
pagos
2
nómina
2
retenciones
2
comprobante
2
facturación
2
sudoku
2
ham
2
satellite
2
constraint
2
client
1
xor
1
learning
1
dfa
1
automata
1
verification
1
proof
1
dpll
1
cdcl-algorithm
1
clause
1
python3
1
typed
1
encoder
1
constraint-satisfaction
1
picosat
1
limboole
1
dimacs-cnf
1
optimization
1
machine-learning
1
combinatorial-optimization
1
graph
1
computational
1
sha256
1
pyhton
1
nonebot_plugin
1
radio
1
nonebot
1
nonebot2
1
3sat
1
3cnf
1
3-sat
1
3-cnf
1
dimacs
1
bank
1
sync
1
paybook
1
sampling
1
problem
1
lovasz
1
wordnik
1
word-meanings
1
online-dictionaries
1
gre-words
1
cvc4
1
propositional-variables
1
propositional-logic-encodings
1
nnf
1
diot
1
descargamasivasat
1
constanciadigital
1
constancia
1
cfdi40
1
strf
1
combinatorial-testing
1
compiler
1
xml
1
facturacion
1
language
1
gmat
1
vocabulary
1
word
1
words
1
invoice
1