Wheelodex » Projects » deal-solver

deal-solver

View on PyPI — Reverse Dependencies (1)

0.1.2 deal_solver-0.1.2-py3-none-any.whl

Wheel Details

Project: deal-solver
Version: 0.1.2
Filename: deal_solver-0.1.2-py3-none-any.whl
Download: [link]
Size: 47958
MD5: cefe396297d8c4cce0a3bf81af52c80e
SHA256: 0d657a28368acd416f4031d3f42a86cc7db1b6ce3c08621e9895c6f41a85f3ec
Uploaded: 2023-09-28 13:31:20 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: deal-solver
Version: 0.1.2
Summary: z3-powered solver (theorem prover) for deal.
Author: Gram
Author-Email: gram[at]orsinium.dev
Home-Page: https://github.com/life4/deal-solver
License: MIT
Keywords: deal,contracts,verification
Classifier: Development Status :: 5 - Production/Stable
Classifier: Environment :: Plugins
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python
Classifier: Topic :: Software Development
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Topic :: Software Development :: Quality Assurance
Requires-Python: >=3.7
Requires-Dist: astroid
Requires-Dist: z3-solver
Requires-Dist: flake8; extra == "lint"
Requires-Dist: flake8-bugbear; extra == "lint"
Requires-Dist: flake8-commas; extra == "lint"
Requires-Dist: flake8-quotes; extra == "lint"
Requires-Dist: isort; extra == "lint"
Requires-Dist: unify; extra == "lint"
Requires-Dist: mypy (>=0.910); extra == "lint"
Requires-Dist: hypothesis; extra == "test"
Requires-Dist: pytest; extra == "test"
Requires-Dist: pytest-cov; extra == "test"
Requires-Dist: pytest-xdist; extra == "test"
Provides-Extra: lint
Provides-Extra: test
Description-Content-Type: text/markdown
[Description omitted; length: 706 characters]

WHEEL

Wheel-Version: 1.0
Generator: flit 3.9.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
deal_solver/__init__.py sha256=Fu1ndUp9dX1TOtQ3tgDQZh-HSEQJGxxnyjbD2ebkOmQ 402
deal_solver/_annotations.py sha256=pwgLK7KRLxBULfmyO-dUzDo-BIi-kG7RIlX9bpajLIU 4061
deal_solver/_ast.py sha256=9xARre3N0K6o5EWd3trDHeXxwAH7Dv_ycMQTkiiWE9o 1383
deal_solver/_cached_property.py sha256=hVy_PXr7X8kOWTxjmcgQ2ONvCJUVCEqsnG4B--Gpafo 717
deal_solver/_eval_contracts.py sha256=9Xd-4R9RmYWQdjtuvFxKUkzHGcXJFiiNgGac5fNzkqA 3011
deal_solver/_eval_expr.py sha256=_N8UL03YXrnd-SoGj8O7ZTBvOUamnxEvID82HofjKZI 11233
deal_solver/_eval_stmt.py sha256=L-u8DepidvFcfv8UnqZ-6Dtal0b67z8nudkOl8eluig 6446
deal_solver/_exceptions.py sha256=WIgQn_m_DjzgrpgD512Rb99Nf8AYJWRRNZhpxA__obM 170
deal_solver/_goal.py sha256=hoSKvIPfO7HeqJy_QEAcaI0efJkrIFdsRWa4QVvEgBI 350
deal_solver/_model.py sha256=svbFwNq8grmTukUgWc8fiwUofRiuDhAXM9dCCGDK3No 1207
deal_solver/_registry.py sha256=_xazXrO1oXGn1Tn1UbOVrl2w2o3Tq1Fo7tc4o9ONjW8 1092
deal_solver/_theorem.py sha256=PiUbFn72t8AH9eAu0BnwYR7kRI2icCPd0cKU7DsaRwU 8406
deal_solver/_types.py sha256=e8250knI-UvqJx2RivHx1hslIKyMNMGbbWlihmVZWvY 118
deal_solver/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
deal_solver/_context/__init__.py sha256=vEtsyKS0yGlhdD0nZrWLQtSZCywWAkgn9s499Q5KgBk 221
deal_solver/_context/_context.py sha256=zZ2iuCxlsF3xCgIMt6ifFiWgxkpjaiefmyH3MRoCFJM 3238
deal_solver/_context/_layer.py sha256=07a718W6ESvBiKjIROGv9R2CyfEzN2h1MtxQnUE3oto 1467
deal_solver/_context/_scope.py sha256=QwfzgfrJl6qjW0U3P0lEgdZTIu9nRExlEUTxeixR52k 941
deal_solver/_context/_trace.py sha256=nS8ejSxFc0V9FvCtMrclL8dWWK56ODctckq_ynbQyHo 681
deal_solver/_funcs/__init__.py sha256=tgikVUxlDEBCv06LVXNiCgVHnZ3W6vHwA7p4y5Sl_fs 116
deal_solver/_funcs/_builtins.py sha256=w7mv96qBNMtFbQ_2cV7pZEG673NgOiGYaDIRqVMoMwI 5226
deal_solver/_funcs/_math.py sha256=HIuI7UDIpj75SivnRCr2O2-uAciRdZyNdPGx2SrgbN8 3561
deal_solver/_funcs/_os_path.py sha256=nNeo93HNufqcc-j4LuMP9sKpNIE67JUm7O3aUr5_HD8 922
deal_solver/_funcs/_random.py sha256=_9_SXkjuY5h9mz0CXZU3Eo_Q9ucg0rusddmDXBKnr3A 1495
deal_solver/_funcs/_re.py sha256=kp6twELZqkoIs6MnCExYEnz4lwDvFgTNbH3VvBSYh1A 828
deal_solver/_funcs/_registry.py sha256=RRZHX6_oNcrUdAeQDXf3O1957FiaWvI73iZcQFE75NE 602
deal_solver/_proxies/__init__.py sha256=CSNHktUikLI70iDgLBarcEk_ctwK0R8jkziY62CPx6k 1000
deal_solver/_proxies/_bool.py sha256=292l6fBj1YM7HRkuSnZLx6lbVkFiYyq7Kk_9PLZ1cIQ 4473
deal_solver/_proxies/_dict.py sha256=za0in8VGuLwPfeJ1cneDc1OX_9wO13Ce-DvYGPMATG8 8529
deal_solver/_proxies/_float.py sha256=LhqQ9SAb4xBCqMexyCkjocoYm8TJD2NG2AzD_tG1KlY 12742
deal_solver/_proxies/_func.py sha256=zB3n2ZRw2Jfe2BxsYYmNC9wP7BtWiz8Zo1gitcxsgTY 2111
deal_solver/_proxies/_funcs.py sha256=trMxMzu_0v6bi9nvqka3Y1wKC-elcdyD6RSiXkHEVKY 1178
deal_solver/_proxies/_int.py sha256=MazGq6ZQh0CGSViAYxSOjfGW_ZzC0GsnLmZ0oO4BlCg 9928
deal_solver/_proxies/_lambda.py sha256=F8ScFGGo0C4Q4YqJokoiSxHSBXqR4Fsp9lmKw6QfTrU 799
deal_solver/_proxies/_list.py sha256=_OpcjCjFISiJ57GjkXBOG-mevXgA0i-lwMZSNLycC5w 4848
deal_solver/_proxies/_method.py sha256=1PrYP5DwL_YtAT-buEKZPiGSvMagLceqcRs95JFG2YU 1513
deal_solver/_proxies/_methods.py sha256=ws9EaHoRVxM70d-t4CbQSa6ZdtoLz4-bq0MvXgTVNAU 1289
deal_solver/_proxies/_pattern.py sha256=cJ5FPfeYNPihxkuHPmJCVfPSMU3ibPwYy6j62hExmdw 4915
deal_solver/_proxies/_proxy.py sha256=XTv4EtzW6am-S2i765sHH1bNiNLRlpN76JLs2MgeXic 10590
deal_solver/_proxies/_registry.py sha256=2wVQ3rjK85YPUIhTMPsHYGLI4ootZwLhlHpzoJSzKfg 1154
deal_solver/_proxies/_set.py sha256=phkHjJ3umNBz4zva1MoNOmb-QcF4b1LrHEekCM5KjNY 10380
deal_solver/_proxies/_str.py sha256=kWSE90zoXvBQJ9SDE1reLCI-1ftcIYaxxE7v90F3MhA 7548
deal_solver/_proxies/_type_factory.py sha256=8CLscg1-kgtnZ3U4rIHdllfK83mF3hpCiKEJqP3KLxY 922
deal_solver/_proxies/_var_tuple.py sha256=q6HUcHDr8uWM-rdJZKNij0ZtxQYA-XCxkZOggvtGWRY 8426
deal_solver-0.1.2.dist-info/LICENSE sha256=BxTjazc45bB8y7OjiHDFHxzhbTG7IPPE4z1TmHMw-gQ 1046
deal_solver-0.1.2.dist-info/WHEEL sha256=EZbGkh7Ie4PoZfRQ8I0ZuP9VklN_TvcZ6DSE5Uar4z4 81
deal_solver-0.1.2.dist-info/METADATA sha256=jh2W2vYE3icE6CTuYZcajbIV8gvlCVyl2qXnjIkYq9E 1999
deal_solver-0.1.2.dist-info/RECORD — —