flamapy-sat

View on PyPIReverse Dependencies (1)

1.1.7 flamapy_sat-1.1.7-py3-none-any.whl

Wheel Details

Project: flamapy-sat
Version: 1.1.7
Filename: flamapy_sat-1.1.7-py3-none-any.whl
Download: [link]
Size: 19001
MD5: acb0efc2c3b9074b9339f8566882ce51
SHA256: 32a15129c8cf83ceab1fc042470810df0971e7868265fa68c55b5f0c84a4e17e
Uploaded: 2023-06-05 23:06:54 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: flamapy-sat
Version: 1.1.7
Summary: flamapy-sat is a plugin to flamapy module
Author: Flamapy
Author-Email: flamapy[at]us.es
Home-Page: https://github.com/flamapy/pysat_metamodel
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: GNU General Public License v3 or later (GPLv3+)
Classifier: Operating System :: OS Independent
Requires-Python: >=3.9
Requires-Dist: flamapy (~=1.1.3)
Requires-Dist: flamapy-fm (~=1.1.3)
Requires-Dist: python-sat (>=0.1.7.dev6)
Requires-Dist: pytest; extra == "dev"
Requires-Dist: pytest-mock; extra == "dev"
Requires-Dist: prospector; extra == "dev"
Requires-Dist: mypy; extra == "dev"
Requires-Dist: coverage; extra == "dev"
Provides-Extra: dev
Description-Content-Type: text/markdown
[Description omitted; length: 286 characters]

WHEEL

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

RECORD

Path Digest Size
flamapy/metamodels/pysat_metamodel/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
flamapy/metamodels/pysat_metamodel/models/__init__.py sha256=D6fNHtD_YjrXL-xAxWTPCP6jceDDNf7KIYIJO_YI50o 232
flamapy/metamodels/pysat_metamodel/models/pysat_model.py sha256=toX6ssvIF0oWkV1D3ANSP5EhSCAHUDDNpHU51vlzDfY 831
flamapy/metamodels/pysat_metamodel/models/txtcnf_model.py sha256=fxRVd3wWYJzLBSHit5E3GU1wxyuIIBUnIoX2zR8X9xg 8891
flamapy/metamodels/pysat_metamodel/operations/__init__.py sha256=AhpTGJpj_mIzLQLZWCWMPoBc50Gtth7Ycpwvx0hP0kQ 963
flamapy/metamodels/pysat_metamodel/operations/glucose3_commonality.py sha256=0oYfPPNNrv85li-9KgncW5_woRMAY74wYwMKmgKiGtE 1181
flamapy/metamodels/pysat_metamodel/operations/glucose3_core_features.py sha256=c29q5lVPStVbF-UJQKuQKgjttvyeOb15YRXFGeGutOQ 1175
flamapy/metamodels/pysat_metamodel/operations/glucose3_dead_features.py sha256=OhLOXkB6PuIK_ESzP1SaG9VkLDSIGnR-YWbH9hneIDI 1129
flamapy/metamodels/pysat_metamodel/operations/glucose3_error_detection.py sha256=HkxRkfr20AfoMWy2FOcS3mdz3S_dfKpNBS8P-1BUWQM 2042
flamapy/metamodels/pysat_metamodel/operations/glucose3_false_optional_features.py sha256=bdtCMVgihri5YFnHKtXoMhV69Rq3AQ6CMuq4dcZGOjM 1951
flamapy/metamodels/pysat_metamodel/operations/glucose3_filter.py sha256=IZT8KvXAeLnn5mlLdS1fDP1CgYCt4a5IbepGpGl97Es 1620
flamapy/metamodels/pysat_metamodel/operations/glucose3_products.py sha256=BMIMDTK6uLtfrcJK47pcIkjsTbhKM0F3Kxf0iu6YIbY 1116
flamapy/metamodels/pysat_metamodel/operations/glucose3_products_number.py sha256=IfgUOGPxSoyOEVmKcHtlpkPyXs9TPp1Mz_cr8u2hGTE 947
flamapy/metamodels/pysat_metamodel/operations/glucose3_valid.py sha256=zSaeXKcwXpKjS91ztfc6sbTgAAwmmoTo7h4suhvYzGM 836
flamapy/metamodels/pysat_metamodel/operations/glucose3_valid_configuration.py sha256=DProVubzjGRlncDkMrcasvUnpgvttscDlwDSMXIxlcc 1436
flamapy/metamodels/pysat_metamodel/operations/glucose3_valid_product.py sha256=ywEbGOMnWF1B8YwRuottcK7gvl0kSNT5ryYDIECziWM 1671
flamapy/metamodels/pysat_metamodel/transformations/__init__.py sha256=JTgL9d4VG2Ecs725AHXqVn_f4WFwdkQ49bUMiWY2XDQ 241
flamapy/metamodels/pysat_metamodel/transformations/cnf_to_pysat.py sha256=YIisBxwPvoEqDG2GfSpsFxlP_SSEpLx9hIW2OUn9iPE 5759
flamapy/metamodels/pysat_metamodel/transformations/dimacs_reader.py sha256=SYNK_A34rX5pE3MiKSdcPDXpIDyKCKL_MoTkEFt5HDA 2157
flamapy/metamodels/pysat_metamodel/transformations/dimacs_writer.py sha256=cxa12sbhgnWiYzrqUatcupM4wquVJTTeFLzlVCWATp8 1034
flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py sha256=EROK5ODNj_hYRHrTF7sH7wgg8jAdcpz7vtT6CfkVn4s 7277
flamapy_sat-1.1.7.dist-info/METADATA sha256=mMBhaSblooCM5TFC4KPZu4aDdQOjx3LArHptsGUvxUY 1105
flamapy_sat-1.1.7.dist-info/WHEEL sha256=pkctZYzUS4AYVn6dJ-7367OJZivF2e8RA9b_ZBjif18 92
flamapy_sat-1.1.7.dist-info/dependency_links.txt sha256=yUbi7XjLG_vx1qJt0l57BEpagKmXy56Y56qdge4GyLw 15
flamapy_sat-1.1.7.dist-info/top_level.txt sha256=2YBI9dg4GVk28AJuyNu6dldi5Riwt5SP0zpNe2lSU5M 8
flamapy_sat-1.1.7.dist-info/RECORD

top_level.txt

flamapy
flamapy~=1.1.3