trappist

View on PyPIReverse Dependencies (1)

1.1.2 trappist-1.1.2-py3-none-any.whl

Wheel Details

Project: trappist
Version: 1.1.2
Filename: trappist-1.1.2-py3-none-any.whl
Download: [link]
Size: 30583
MD5: 84324761f481dbaa6f9bed574e9e34ab
SHA256: e30784db68be770ee2b23f7917648403012d526c061a66165256ad164ef807de
Uploaded: 2024-03-30 08:54:21 +0000

dist-info

METADATA

Metadata-Version: 2.3
Name: trappist
Version: 1.1.2
Summary: Minimal Trap Spaces computation using Maximal Siphons
Author-Email: Sylvain Soliman <Sylvain.Soliman[at]inria.fr>
Project-Url: Code, https://github.com/soli/trap-spaces-as-siphons
Classifier: Development Status :: 4 - Beta
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.6
Requires-Dist: loguru (>=0.2.5)
Requires-Dist: minizinc (>=0.6)
Requires-Dist: networkx (>=2.2)
Requires-Dist: pyeda (>=0.28)
Requires-Dist: python-sat (>=1.8.dev1)
Requires-Dist: ruff (>=0.3); extra == "dev"
Provides-Extra: dev
Description-Content-Type: text/markdown
License-Expression: GPL-3.0
License-File: LICENSE
[Description omitted; length: 2853 characters]

WHEEL

Wheel-Version: 1.0
Generator: hatchling 1.22.4
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
trappist/__init__.py sha256=YVahgfpjHwzFmeCJ4EhW_rD3pFTcOu0iLgWbMKsHixw 1178
trappist/bnet.py sha256=jpzFBmTkwD9NTIkKWTOlMisyKtWQJlGXWUvQZErogVg 3075
trappist/conj.py sha256=WkinbW73ui0aP2fn-YglEhe613i0ydeCkGlsAql6lbo 6917
trappist/cp.py sha256=r74-AdOCnTQXvW475JzFmTmxXNAaY5KfOo6SoVGSXi4 5358
trappist/ilp.py sha256=tFe_9oP2VwDqxCiTXBx_SMyFMbwr-XEBHtiRF57R8Lo 4352
trappist/max_sat.py sha256=PY92OM0TB1pzxdGIyKheIko5l6o2G4dccajpmlg0W4o 3123
trappist/naive.py sha256=VfXHYNXNHadtSN1Qfors-crdKW09Tvt9rQ2qV86IMQg 5928
trappist/trappist.py sha256=POsjhX-KzBRLlLKyXl8DaqNJmnzYN7SIkx6CmkttrM8 10872
trappist-1.1.2.dist-info/METADATA sha256=tCtxMxfk0el9pzhTBUqC4QC1iZ0Z2tLs4etKYTXs2no 3632
trappist-1.1.2.dist-info/WHEEL sha256=uNdcs2TADwSd5pVaP0Z_kcjcvvTUklh2S7bxZMF8Uj0 87
trappist-1.1.2.dist-info/entry_points.txt sha256=BHUzq9PzOV_ooTi1TRR3fXJpi5qqih_mN7FW5YorulE 52
trappist-1.1.2.dist-info/licenses/LICENSE sha256=GzeCzK17hhQQDNow0_r0L8OfLpeTKQjFQwBQU7ZUymg 32473
trappist-1.1.2.dist-info/RECORD

entry_points.txt

trappist = trappist.trappist:main