Wheelodex » Projects » bauhaus

bauhaus

View on PyPI — Reverse Dependencies (1)

1.2.0 bauhaus-1.2.0-py3-none-any.whl

Wheel Details

Project: bauhaus
Version: 1.2.0
Filename: bauhaus-1.2.0-py3-none-any.whl
Download: [link]
Size: 16814
MD5: 26cce64e83c113bbf71c2157549640ba
SHA256: bcc11c7388a532d6f715ecc5ca0a7f8ee5f9b70f74b5f329bb1f50de61ea8767
Uploaded: 2024-09-11 01:00:49 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: bauhaus
Version: 1.2.0
Summary: Build logical theories for SAT solvers on the fly
Author: Karishma Daga, Christian Muise
Author-Email: karishma.daga[at]queensu.ca, christian.muise[at]queensu.ca
Project-Url: Documentation, https://bauhaus.readthedocs.io/
Project-Url: Source, https://github.com/QuMuLab/bauhaus
License: MIT
Keywords: logic nnf sat constraints encodings
Classifier: Intended Audience :: Science/Research
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Development Status :: 4 - Beta
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.4
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3 :: Only
Requires-Python: >=3.4
Requires-Dist: nnf (>=0.1.0)
Requires-Dist: python-sat (>=0.1); extra == "pysat"
Provides-Extra: pysat
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 3181 characters]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (74.1.2)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
bauhaus/__init__.py sha256=IJ1d5zHnVReIY-dMHvIR6M9GmS7n8UuiKIyaMGWGFwA 287
bauhaus/constraint_builder.py sha256=CVpMHo8ZQ-gSGtQkaHbBd0Gha5SabnEHoAww4jsTCG0 16207
bauhaus/core.py sha256=h1U_nLuandH1vdnxXtNZ8kIgQ0O6cUba8HodC3TBa9s 30954
bauhaus/utils.py sha256=4su-NXytQYL9pVzYSTLeU2mcsHluk4wHS-A42jvlw-g 5337
bauhaus-1.2.0.dist-info/LICENSE sha256=CxEvyW81mAYCNdV8_gwq3kxq17YTnyXnNNV_n3RQiKE 1071
bauhaus-1.2.0.dist-info/METADATA sha256=ErRTVc6e9q1GHVDVKhX9lp4O9r35dxmGF1fT83FkxSM 4351
bauhaus-1.2.0.dist-info/WHEEL sha256=cVxcB9AmuTcXqmwrtPhNK88dr7IR_b6qagTj0UvIEbY 91
bauhaus-1.2.0.dist-info/top_level.txt sha256=0onACpzCUumFJbzoaN_k7-KrGDeiCWG1lk6n59kAN7A 8
bauhaus-1.2.0.dist-info/RECORD — —

top_level.txt

bauhaus