telingo

View on PyPIReverse Dependencies (0)

2.1.3 telingo-2.1.3-py3-none-any.whl

Wheel Details

Project: telingo
Version: 2.1.3
Filename: telingo-2.1.3-py3-none-any.whl
Download: [link]
Size: 32159
MD5: e01be1a1bda0631c1460189c69c90f5c
SHA256: 650faac43e7d1a29817e2839f27a3bfbf27ff957909f2c0553cbbf89ad091b73
Uploaded: 2024-02-15 20:17:34 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: telingo
Version: 2.1.3
Summary: System to solve dynamic temporal logic programs.
Author: Roland Kaminski & Francois Laferriere
Author-Email: kaminski[at]cs.uni-potsdam.de
Home-Page: https://github.com/potassco/telingo
License: MIT
Requires-Dist: clingo (>=5.6)
Description-Content-Type: text/markdown
License-File: LICENSE.md
[Description omitted; length: 339 characters]

WHEEL

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

RECORD

Path Digest Size
telingo/__init__.py sha256=TJ-2rcTFFatxarL2jMK2H4Q98NWQF4EiWjkA8cuJGtM 6698
telingo/__main__.py sha256=5BjNuyet8AY-POwoF5rGt722rHQ7tJ0Vf0UFUfzzi-I 58
telingo/util.py sha256=xVKI3FPmXiE2YIvQh0hkVHgD0gXC4n27FWXP8IzG23U 443
telingo/theory/__init__.py sha256=FK91Xu6VlBFG10jgjMHkx4yx4IBraT4odV6csw4aGjc 3579
telingo/theory/body.py sha256=lIGWTnIvOl1OZp_hZpMsnZ5tRb9NIwESOjrEHELYmWc 34671
telingo/theory/formula.py sha256=XZbEcca8_kFvnQBXu7ELzY-4lpHvFAj4QA58B8rKTkg 5941
telingo/theory/head.py sha256=kNk4QbQMvHKy3I9FYXaRqNtSl7VQRXr7xlWD3G0AmWE 12879
telingo/theory/path.py sha256=Du-8JQkFTYZ2n_DowvBA-k2FeN2nyaw8gauCdpi3nUQ 1574
telingo/transformers/__init__.py sha256=1dOeVNW0eUm_3_418UEnbU7zIckR981agXYGWLv6C_E 9032
telingo/transformers/head.py sha256=3iQ17yMuMAXDEja3_o22v2ILlhjx7nhIv0Cdj4ucVvM 20534
telingo/transformers/program.py sha256=Vti1CIh435QSshLrNAw_diEC5ml0OFZqZgYkF3l3yo8 9166
telingo/transformers/term.py sha256=EG8pShNjo7sEPdySo92ScCuYNSzD5SMSf_sr7RPCpq8 5844
telingo/transformers/transformer.py sha256=uVEH_d_rWarXouM06kOaPiFmBTzpRr1wR4E8IBFJN_I 5012
telingo-2.1.3.dist-info/LICENSE.md sha256=3kgAa-Z8gwwEhUGvLqp5ucur0TunwNU7fKNHC1Jmj14 1088
telingo-2.1.3.dist-info/METADATA sha256=l2DkwZPiJcxpWVgNpaoE0jsC8CvWGLKnA94yZ8UIZQo 689
telingo-2.1.3.dist-info/WHEEL sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM 92
telingo-2.1.3.dist-info/entry_points.txt sha256=BfmfSDXQPm2AnYLrMdFeWykUjH98YvEq1QDYQ-j_L08 41
telingo-2.1.3.dist-info/top_level.txt sha256=uvT22YPghwu42Z6EQBks0_f2gH5Ed2AJhxiaOyxES9s 8
telingo-2.1.3.dist-info/RECORD

top_level.txt

telingo

entry_points.txt

telingo = telingo:main