Wheelodex » Projects » just-solve-it

just-solve-it

View on PyPI — Reverse Dependencies (0)

0.1.1 just_solve_it-0.1.1-py3-none-any.whl

Wheel Details

Project: just-solve-it
Version: 0.1.1
Filename: just_solve_it-0.1.1-py3-none-any.whl
Download: [link]
Size: 27392
MD5: 77fc952e5f9bce8ae4a729910e3aca58
SHA256: 0e3bb5b2b60adefc137289817d5408d5574a1ba52be22a6f022f81566236ac0f
Uploaded: 2024-11-13 18:33:35 +0000

dist-info

METADATA · WHEEL · RECORD · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: just-solve-it
Version: 0.1.1
Summary: just solve it - a command line tool to run multiple SMT (Satisfiability Modulo Theories) solvers in parallel
Author-Email: karmacoma <karma[at]a16z.com>, a16z crypto research lab <crypto-research-lab[at]a16z.com>
Requires-Python: >=3.11
Requires-Dist: pyright (>=1.1.378)
Requires-Dist: rich (>=13.8.1)
Requires-Dist: python-daemon (>=3.0.1)
Description-Content-Type: text/markdown
[Description omitted; length: 10188 characters]

WHEEL

Wheel-Version: 1.0
Generator: pdm-backend (2.4.3)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
jsi/__init__.py sha256=-t1lfjoASSDufsxrvgpgAPhkPSAQWLBA6cUQc0nTYuA 113
jsi/__main__.py sha256=F4i2bhRDPZNb9xYQwHVbb5x14EHGLFLv_rKZq248TLE 86
jsi/cli.py sha256=pKlZDBM7zscXnw3IFIAy1APSzhIDfdTdYY0K4lq-K9Y 16377
jsi/client.py sha256=zflQMtAXxAvoR0Wzw4YhEHPLdhdSKDEZvB7tKncuAUo 644
jsi/config/loader.py sha256=BE6-WuO30bn1LTEaZTcCKFCl7HTYytG0uKRyRWMtwxw 5040
jsi/config/solvers.json sha256=x3q-agkP8EcPhGCiSHPaxuwg5bvPqNXMVeX94mYRm7U 1649
jsi/core.py sha256=B26D60KuIXm82olVH-Ep69TBSZM2PZBvdek8a8-kSX0 23368
jsi/output/basic.py sha256=HDWYzIDzTgZjLYCh9SB4jW8P2gih2tHTb0wdW39sIbs 1516
jsi/output/fancy.py sha256=PKlgiUMiNjDzf3LcZmWwLNo9y7mOlTLKGvagx_j4Xa0 2833
jsi/reaper.py sha256=XSlPeugGNYkmhgEOcPJef4_5Wp6ZzaxNM5SYgJviX08 1690
jsi/server.py sha256=rUGabn5WXTa6UankQ4-jFBhB5U2wbm3iD5X0eHEphD8 7402
jsi/utils.py sha256=Kt9DN5M8UegoQcPrZ3lqqpLn0SwyWsnUunarma-PARY 4013
just_solve_it-0.1.1.dist-info/METADATA sha256=DVppSzQnQSpEdCFLmLKEkTR2Ggs1EXS8aer8xC3PZo0 11532
just_solve_it-0.1.1.dist-info/WHEEL sha256=thaaA2w1JzcGC48WYufAs8nrYZjJm8LqNfnXFOFyCC4 90
just_solve_it-0.1.1.dist-info/entry_points.txt sha256=BCUrIIm6uIDMqpYnIEFHFsiBJuGNyJb-x_kM0Gh087o 49
just_solve_it-0.1.1.dist-info/licenses/LICENSE sha256=vWLfY-yYi8IOThqdeTNVxcyUTZSHcBFS21Pbm7_xJFY 1061
just_solve_it-0.1.1.dist-info/RECORD — —

entry_points.txt

[console_scripts]
jsi = jsi:main