Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "cnf" keyword
waps 1.0.2
This library can be used to sample satisfying assignments for a CNF/DNF obeying a given literal-w...3 versions - Latest release: about 5 years ago - 1 dependent repositories - 46 downloads last month - 6 stars on GitHub - 1 maintainer
latextocnf 0.1.4
python cli program to convert latex input to CNF (conjunctive normal form).5 versions - Latest release: 3 months ago - 34 downloads last month - 6 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
pycmsgen 6.1.0
Bindings to CMSGen, uniform-like sampler7 versions - Latest release: 4 months ago - 158 downloads last month - 8 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
Related Keywords
sat
4
sat-solver
2
logic
2
sampling
2
3sat
1
3cnf
1
3-sat
1
3-cnf
1
dimacs
1
uniform-sampling
1
sampler
1
dimacs-cnf
1
xor
1
verification
1
proof
1
dpll
1
cdcl-algorithm
1
cryptography
1
clause
1
weighted sampling
1
python3
1
typed
1
python
1
projected sampling
1
latex
1
formula
1
computer-science
1
weighted-sampling
1
sampling-methods
1
projection-sampling
1
knowledge-compilation
1
dDNNF
1