ctlog

View on PyPIReverse Dependencies (0)

0.6.0 ctlog-0.6.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
ctlog-0.6.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
ctlog-0.6.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
ctlog-0.6.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
ctlog-0.6.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Wheel Details

Project: ctlog
Version: 0.6.0
Filename: ctlog-0.6.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Download: [link]
Size: 4888695
MD5: 57a43eba4768d4504b5fbee1ab06da93
SHA256: fcbb65bf24ae8413f6eecb077df58f695401b1ef8b11471230204778023e1be3
Uploaded: 2023-07-09 11:14:57 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: ctlog
Version: 0.6.0
Summary: SAT-Based Combinatorial Testing in Python
Author: Logic and Optimization Group
Home-Page: http://ulog.udl.cat/software/
Keywords: combinatorial-testing sat maxsat constraint
Classifier: Development Status :: 4 - Beta
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: POSIX :: Linux
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Platform: Linux
Requires-Dist: optilog (>=0.5.0)
Requires-Dist: nimporter (==1.1.0)
Requires-Dist: psutil
Requires-Dist: pyzlic
Requires-Dist: sly (==0.4)
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 2558 characters]

WHEEL

Wheel-Version: 1.0
Generator: Nuitka (1.6.5)
Root-Is-Purelib: false
Tag: cp39-cp39-manylinux_2_17_x86_64
Tag: cp39-cp39-manylinux2014_x86_64

RECORD

Path Digest Size
ctlog.pyi sha256=V6UZ6Ala-yVpmLhKoURwmK3y8E9DYwq_YpQjt95mG2o 2134
ctlog.cpython-39-x86_64-linux-gnu.so sha256=23kjiQGRx6-V9U_j1kpoR-Tr1e66OA5FkTkiLvRtN7o 2729232
ctlog/alg/ca/ipog/nim_pool.cpython-39-x86_64-linux-gnu.so sha256=lUFUxL_qR2_mhR5oeZLtqeRpyTuKZfKSeIl9mY2SF1E 2507960
ctlog/alg/ca/prbot/nim_pool_mngr.cpython-39-x86_64-linux-gnu.so sha256=VS1WSCCcFnL9I-7pDG2G6fHYQhtyAAkWQOzEdkAwgEc 3431152
ctlog/alg/ca/prbot/nim_pool_mngr_naive.cpython-39-x86_64-linux-gnu.so sha256=0a_Lbb8LdNjFQmc4cyyJQccgbA5zVXAWYo-RYNbfuTA 3517824
ctlog/resources/ctlog.pem sha256=yn1O1efH6Z9b3nnM0AmHLWfZW_vm-X4lkEo8UULw9Po 451
ctlog/sut/nim_tupls.cpython-39-x86_64-linux-gnu.so sha256=RyGTk8nVCTdqpSPn96hZp3Qj9MuILDE_EcXPPJ6PNvk 2241416
ctlog/sut/nim_ts.cpython-39-x86_64-linux-gnu.so sha256=H4Mgb9amy9a6HVjl1mznEj5WPHGF7MKbbOjBP6uEl6Y 2913056
ctlog-0.6.0.dist-info/LICENSE sha256=TfB-UKI-2_6kjNC7r7jH6iNsVxwWhUPYxgjL-KRQYUw 3847
ctlog-0.6.0.dist-info/entry_points.txt sha256=ySgEwJq3P4uvdxK2z4yesnZ5fWJxmTeIXX5NqBOA9hA 50
ctlog-0.6.0.dist-info/top_level.txt sha256=uG8RqsRLxChcUhScieWgCWkbYCrbTGXDyIQvj9VMqek 6
ctlog-0.6.0.dist-info/RECORD
ctlog-0.6.0.dist-info/METADATA sha256=ecZNKLMdvBcrktWSqbXSC2r0QBfjuwvl6WoQMslsZe8 3412
ctlog-0.6.0.dist-info/WHEEL sha256=xW6jONewgKuGCUfwe8IY8KmPlCsJ2KlUMZIdoItbUsM 142

top_level.txt

ctlog

entry_points.txt

ctlog = ctlog.cli.__main__:main