Wheelodex » Projects » funman-dreal

funman-dreal

View on PyPI — Reverse Dependencies (1)

1.5.0

funman_dreal-1.5.0-py3-none-any.whl

Wheel Details

Project:	funman-dreal
Version:	1.5.0
Filename:	funman_dreal-1.5.0-py3-none-any.whl
Download:	[link]
Size:	8449
MD5:	`9eb6df9ad9cbff8a26f7ac686004d21e`
SHA256:	`7780384102694b8b8a073051dc0886663d675c02f08641a5b43b78e5fed256c5`
Uploaded:	2023-04-24 15:10:42 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version:	2.1
Name:	funman-dreal
Version:	1.5.0
Summary:	Functional Model Analysis Tool - DReal Package
Author:	Dan Bryce
Author-Email:	dbryce[at]sift.net
License:	MIT
Requires-Dist:	funman
Requires-Dist:	docker
Requires-Dist:	tenacity
Requires-Dist:	pyparsing
Requires-Dist:	dreal; extra == "dreal"
Provides-Extra:	dreal
Description-Content-Type:	text/markdown

[Description omitted; length: 55 characters]

WHEEL

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

RECORD

Path	Digest	Size
funman_dreal/__init__.py	sha256=Sgr4AY76sfeRVMBdrRZlsyEm0JW2Cpomg0QmDD8kCBo	103
funman_dreal/_version.py	sha256=zT4pwlMEUh6B5Xq-YPP2kbfeIQdwVlSiT7OXABWhUaw	127
funman_dreal/converter.py	sha256=p-aDqJrhogseoH9QzCxf03RwwhqshPXiWI97i6BHQbY	6209
funman_dreal/solver.py	sha256=fmfowpvZUM66bI2eCz2CIIbNb5ALykkgBB-gVJZ8juQ	17445
funman_dreal/example/__init__.py	sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs	1
funman_dreal-1.5.0.dist-info/METADATA	sha256=AHSWaRW07SpogR7QoNyVykdUfI5ixxmvErQgq0d9i9s	436
funman_dreal-1.5.0.dist-info/WHEEL	sha256=pkctZYzUS4AYVn6dJ-7367OJZivF2e8RA9b_ZBjif18	92
funman_dreal-1.5.0.dist-info/top_level.txt	sha256=Kr9khme3WwJjIuAQynOM9jCDDQoyER5WON_-DpYSHhA	13
funman_dreal-1.5.0.dist-info/RECORD	—	—

top_level.txt

funman_dreal