Wheelodex » Projects » optilog

optilog

View on PyPI — Reverse Dependencies (2)

0.6.0 optilog-0.6.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
optilog-0.6.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
optilog-0.6.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
optilog-0.6.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Wheel Details

Project: optilog
Version: 0.6.0
Filename: optilog-0.6.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Download: [link]
Size: 4175081
MD5: 1c6918f7e35cb6b307d3ff9b73fb8d48
SHA256: 95a993cab80c06bb0ae1b78f4b09dfce011e5105876c61423fc0c3e2edc7cfe8
Uploaded: 2023-10-30 16:44:07 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: optilog
Version: 0.6.0
Author: Logic and Optimization Group
Project-Url: Homepage, https://ulog.udl.cat/static/doc/optilog/html/index.html
Project-Url: Documentation, https://ulog.udl.cat/static/doc/optilog/html/index.html
Project-Url: Changelog, https://ulog.udl.cat/static/doc/optilog/html/optilog/changelog.html
Project-Url: Logic and Optimization Group, https://ulog.udl.cat/
License: Logic Optimization Group Academic License Agreement Version 1, 18 September 2018 Please read the terms and conditions of this license agreement carefully. By installing the LOG Product(s) you are accepting the terms of this agreement. The Effective Date of this Agreement is the date on which LOG Product(s) is installed. The LOG Product(s) is copyrighted and licensed (not sold) to you by Logic Optimization Group. This Agreement shall apply to all LOG Products, unless replaced by LOG. 1- DEFINITIONS "LOG" is the Logic Optimization Group at University of Lleida. “Product(s)” is the OptiLog framework in machine-readable or source code form, including all Upgrades and published documentation. “You” or “your” means the single end-user customer organization accepting this Agreement. 2- SCOPE OF RIGHTS In all cases, license Users and Uses are restricted to you. In particular, making the Product(s) available over the Internet or similar networking technology to others ("Hosting") is forbidden. 2.1 - Grant of License. LOG grants you a non-exclusive right to use the Product(s) (including any Error Corrections) for academic non-commercial use only, in machine-readable form and source code. This Product License specifically prohibits redistribution, transfer or resale of the Product(s). You may make a reasonable number of copies of the Program in machine-readable, object code form, and source code, for nonproductive backup purposes only. 2.2 - Limitations on Use. You may not use, copy, modify, or distribute the Product(s), or make any copy, adaptation, transcription, or merge any portion thereof, except as expressly authorized by LOG in a separate written agreement signed by LOG. You may not reverse assemble, reverse compile, otherwise translate, or reverse engineer the Product(s). Your license may not be transferred, leased, assigned, or sub-licensed without LOG’s prior written consent, which will not be unreasonably withheld. If you copy or modify the Product(s) in any way not expressly authorized by LOG, your license is automatically terminated. 3- MAINTENANCE AND SUPPORT Maintenance and support is not available for academic or educational license. 4 - LICENSE FEES The Product(s) is distributed free of charge for academic and educational use. Access for commercial purposes is forbidden. 5 - WARRANTY Because the program is licensed free of charge, there is no warranty for the program to the extent permitted by applicable law. The copyright holders provide the program "AS IS" without warranty of any kind, either expressed or implied, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpose. The entire risk as to the quality and performance of the program is with you. Should the program prove defective, you assume the cost of all necessary servicing, repair, or correction. In no event will any copyright holder, be liable to you for damages, including any general, special, incidental or consequential damages arising out of the use or inability to use the program (including but not limited to loss of data or data being rendered inaccurate or losses sustained by you or third parties or a failure of the program to operate with any other programs), even if such holder or other party has been advised of the possibility of such damages. 6- OWNERSHIP LOG shall have sole right, title, and interest in and to the Product(s) and all documentation relating to the Product(s) (including its development or its operation, testing or use, and all reports and copies created), and all intellectual property rights associated with the Product(s) (including, without limitation, rights to copyrights, patents, trade secrets, and know-how). This Agreement does not provide you with title or ownership of the Product(s), but only a right of limited use under this license. 7- RESTRICTIONS LOG reserves the right to revoke the above distribution right at any time, for any or no reason. 8- EXTRA COMPLIANCE SatexBlackBox module depends on SAT Heritage and their Docker Images. If you use that module, you must also comply with their license. See: https://github.com/sat-heritage/docker-images for more information.
Keywords: sat,maxsat,constraint,solver,problem
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-Python: >=3.8
Requires-Dist: pypblib (>=0.0.4)
Requires-Dist: pandas (>=1.1.5)
Requires-Dist: tabulate (>=0.8.9)
Requires-Dist: sly (==0.4)
Requires-Dist: appdirs
Requires-Dist: termcolor
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 7779 characters]

WHEEL

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

RECORD

Path Digest Size
optilog.cpython-39-x86_64-linux-gnu.so sha256=l-1uNkWJRcUWVn19dvgRfyxH3X73WfGX7LtZvN9b3wA 5007120
optilog.libs/libbz2-a273e504.so.1.0.6 sha256=Ks7i35uwgx4aPZalUSQBwyfxeXGQ9BGdNInwVf00yb8 70993
optilog/internalutils.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/solvers.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/pycard.cpython-39-x86_64-linux-gnu.so sha256=yImerEO8l5zyA3LHx30AVKBC2nkxzede0zHMXJwWRLM 2184952
optilog/encoders.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/blackbox.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/running.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/applications.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/formulas.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/abstractscenario.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/modelling.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/__init__.pyi sha256=w-z6tmktxp8UjxlqTCMjF2R3dweWExk3dsh0zROx_Nc 217
optilog/tuning.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/blackbox/satex.pyi sha256=OAAE06MJ3B3A7e8ig1jfAPkxezvorY5Eo4qnEbOu2zw 2275
optilog/blackbox/enforcer.pyi sha256=DGXqJgMQeh21HsnaEVTwDfRgkyCj2Nil3jvIVx8OssA 4449
optilog/blackbox/__init__.pyi sha256=2BhHPSr8vtE5P6xUsz_HTwXKLnJF4qfhAUfjg-BINwg 306
optilog/blackbox/bb.pyi sha256=iqfdr1GgE3lkifFUW5OFUI3u6jdNkmFJHiDqBpJqf9E 10017
optilog/applications/lsu.pyi sha256=6DXhZXjGOlXYoNIA_AdeWQoMhnhxHlLpvrQ04vYGRrs 26
optilog/applications/__init__.pyi sha256=EHonqGv_2ex8LUIaPTSHbicvELVjP1NlPb7o15GSWw0 34
optilog/applications/linear.pyi sha256=-aTTPPczsOgx_1g_KMaNwvM-GnYGySjwQB4HZx3KRLY 807
optilog/formulas/wcnf.pyi sha256=N6Sx06YTmahliss1p9xu88x5XDuB7p6OBskPCI8QnvA 6320
optilog/formulas/preprocessors.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/formulas/cnf.pyi sha256=naUFLc5wEVPzSGF5J9leS6HyLUZpAtRqCaOnoUp5YbU 3837
optilog/formulas/visualization.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/formulas/absformula.pyi sha256=ubuBR9vg4dam1JUDkDh1lkJUFo_x_eMkybRRSIqvrVQ 4826
optilog/formulas/qcnf.pyi sha256=wrYso1vwsip0NDXmn4dKLEBavbQhIQ5r2VkSVjMzIXw 2462
optilog/formulas/__init__.pyi sha256=xBnWpOumr6SaeGLIpPoOa-qa4zJHxy6B5lZuhg635kQ 233
optilog/formulas/loaders.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/formulas/loaders/wrapper.pyi sha256=MI5tDC8pcD4DJaZcpz5fRtdaoboW6SokcRwnA3bXheo 1055
optilog/formulas/loaders/__init__.pyi sha256=NyoWMNAo7hHmKr-4wbRSs9JiX6eK3oSZydZ9912nsHc 110
optilog/formulas/loaders/loaders.pyi sha256=VoWoTYo77iV65tYFuRTywXUlIa-vEZYd5Mvliy7pWbk 308
optilog/formulas/visualization/visualization.pyi sha256=Os2t8TYkYwm6vGE6AXxRM4-lqw1afFCuquc6pk6QwDA 778
optilog/formulas/visualization/__init__.pyi sha256=UO42TF8Wyzku66M95t1zGU7uqQY_ejSy2N3XuBoDVS8 70
optilog/formulas/preprocessors/preprocessors.pyi sha256=lV6QZLJrsq10RYFaD-ThlOTkTIe-z4BA6ItczYD0adk 412
optilog/formulas/preprocessors/__init__.pyi sha256=0PyV1FYxKhrDYAJSU3h51gVxkYC-_1Yzz3cpzRuV71Q 56
optilog/encoders/gadgets.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/__init__.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/pb.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/gadgets/__init__.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/pb/incremental_encoder.pyi sha256=wgHIsWmx7JuysnW0NWJxCdI9C7DRvEJWdrKlXE8QqQY 7524
optilog/encoders/pb/encoder.pyi sha256=AUZ111XgThHbQELC_mHmgKl1jO9YaviYd-m3S7wbBpo 12905
optilog/encoders/pb/extern.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/pb/__init__.pyi sha256=k311kQBgpsiVLCxpQWXbLtjpoCSjsGbQHoA5q0ELjkk 114
optilog/encoders/pb/extern/card.pyi sha256=UgQ8WWxK9ZI29jlkTcfNQx9oOFNjJxVDz_tsM2DNlIo 15128
optilog/encoders/pb/extern/formula.pyi sha256=QJo2KJZdLlpOSxpslO6yAnXvhVndpuRAcM4TnDv6r3o 39625
optilog/encoders/pb/extern/_fileio.pyi sha256=fzy0VxHd7qAs2Cmz7gUmyOuH7HozhtKzGKVZC3FLZSc 2025
optilog/encoders/pb/extern/_utils.pyi sha256=rUqAmzySENoiHRRoNZc__ff_vw0S9CcESjc4p2VKBFM 328
optilog/encoders/pb/extern/__init__.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/tuning/configurators.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/tuning/basis.pyi sha256=liNJ3F4jXS1sDjP67_UHjNb7sN8Y4-Z-l77itFUMLiU 10570
optilog/tuning/pbencoder.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/tuning/__init__.pyi sha256=T-U-JloR8cPXmt2GUcWwProQm_okne_eU5LpP8y__UE 318
optilog/tuning/configurators/smac.pyi sha256=7N1Bu0hdmNOyiP_x6V99Um6mF3F23ndGlreJJ7tBUos 1765
optilog/tuning/configurators/utils.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/tuning/configurators/abstract_configurator.pyi sha256=_Uwjf-1_l7AavFVvzJf8O1m2qmxha1TBLCWlG_48HAI 2755
optilog/tuning/configurators/entrypoint.pyi sha256=aLVD7jgIunee8HkURQwSk865eluNcAgAPI6snNLz00M 756
optilog/tuning/configurators/__init__.pyi sha256=DvHwmQD4vxq7fNJRx0-bWCWcRSUbLSG6A27GsuEzGmk 233
optilog/tuning/configurators/gga.pyi sha256=DKTNLKhbl4n-yEGuusLLcIGCWJrpKwg_sjKS_ewXuI4 2000
optilog/tuning/configurators/configurator_wrapper.pyi sha256=_pCmLeGXelEZsDvQVpA8KDtkdNxMM1BV1tckVBfUIa0 836
optilog/tuning/configurators/templates/wrapper_template.sh sha256=8pPimwU_pkp_dwD36NNG25CUDtpmTK-qgWB7nyP7Cj0 337
optilog/tuning/configurators/utils/smac.pyi sha256=1Rb4eE3I6INPzeSTz30V0EI8_mb8sdM0O-k2W5e9My8 1109
optilog/tuning/configurators/utils/generic.pyi sha256=GCioFJ7F8b3Vn_jSDk00IpPxqP8JK7F7aqxQ95Bp-Tg 81
optilog/tuning/configurators/utils/__init__.pyi sha256=Ka3gdWgrFaa3EgGRuJn5_1PuD5QXKJoffDSi2Dqzz4w 83
optilog/tuning/configurators/utils/gga.pyi sha256=fEu4VgMVoIH9rwyB06yru64WjRyBqC7npRiKIxIY0CI 1387
optilog/tuning/pbencoder/opb_parser.pyi sha256=JKGmfVBZG3n3Yu4fbVjqrZhAnQsJANTlkFpSFaIgWIw 485
optilog/tuning/pbencoder/pycstr_encoder_transformer.pyi sha256=RATIACE020n57T8D5oHT8RMkNaQzDIBooJ6feNOgBaU 469
optilog/tuning/pbencoder/pbencoder_transformer.pyi sha256=fAhPi5VxJXSLFY9LvUU-IuQh7M4v8eFvAQgIOclqu_k 791
optilog/tuning/pbencoder/__init__.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/internalutils/utils.pyi sha256=6zaOh7GftfbV8GN0Fzt0ouYzvHCAMrSFXssSMoykRl4 423
optilog/internalutils/__init__.pyi sha256=VGbONTc84nc6YNe-eyBoaBGKsq0wbBaP7fA1rT-q0do 390
optilog/internalutils/parsing.pyi sha256=GUZ_mYRXfsmXhoCoA6e79e0BTqgYE3QNg9HXITmGGnQ 599
optilog/running/processor.pyi sha256=8f2uyx0-9TKBXLsgbf_lxDnWbWuPXhRtlwwI-HMFQJU 1828
optilog/running/readme.md sha256=7W7CAMEWDG-GGWDvIiHPQO_ylPElNARtuCQV5eFX66k 1364
optilog/running/runner.pyi sha256=tLB72rHozLU9T14OxUxkWusPbHPDlZAJCZzmDxSH5Ow 4479
optilog/running/__init__.pyi sha256=DXaMN8UKceYIct-o9attWYabGBc1fI1LMPrXSSMht5M 199
optilog/running/parsing.pyi sha256=jvx8_eLzKGFNYnX8he2G3DuClZlOi7tNWDu-F8bmxhg 4241
optilog/abstractscenario/abstractscenario.pyi sha256=VlTF5iupk5DdvLQzdCJKSAWzlRIb-rRSupxW1KBlwjo 1493
optilog/abstractscenario/__init__.pyi sha256=SoEzSYaY4lYnOkEI5kSHkjICWwISF5i3WQjGuVddRuw 235
optilog/abstractscenario/templates/python_entrypoint_template.template sha256=MlXp285HQ1PdEHXuffY_MTUW3yFTZE8t2fdCZ8qQsGs 457
optilog/modelling/expressions.pyi sha256=zIWjYm5BFJOid7MDr5jylVsgPNsbDhht7MD7hhUoIjg 11900
optilog/modelling/problem.pyi sha256=6i8roGjI5H3FKj_J_UEDuA_RYGQWNotBsLp2TrvWBv8 671
optilog/modelling/utils.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/modelling/modelling.pyi sha256=PSXFcezfNoZWA4hy6c6Yv8NZf_I3ntUhiRd1xY1_cWM 503
optilog/modelling/__init__.pyi sha256=BOtxiEkym47ZIpswJEX84i8DbvNJDWPgt9p-4GxMnjo 533
optilog/modelling/calc.pyi sha256=Fb3SvMgMjBXRW8llfMnvKAj1tieGPn4y4wziqiBv260 1253
optilog/modelling/translators.pyi sha256=0vOzsGCgRt2Z6IHtxM8jdpEmp-382zJp2G6o9o3RJbY 4028
optilog/solvers/sat.pyi sha256=cvT1mu5bx_FEytzJfr3mq7rELDmg1VKLTdAoDB4S5yo 73
optilog/solvers/__init__.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/solvers/sat/solverbinder.cpython-39-x86_64-linux-gnu.so sha256=90kHrYVonpaVhWmyNMHnb-vWJZUrw6m5-s1Nrv__yu4 1439625
optilog/solvers/sat/utils.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/solvers/sat/pyisat.pyi sha256=lqnpSJ7_fG2A_CEhx8VHwLnvBVTDMDNnvhAJfR1pfDs 17312
optilog/solvers/sat/__init__.pyi sha256=tTF3T3wz32nkynojUPMExU0NM8mclAyS5s0880Y4AFo 102
optilog/solvers/sat/utils/__init__.pyi sha256=wDAuMhrXWPNW-k1xSsLOKsuFJ4Giss1CKtTYABU-y1M 132
optilog/solvers/sat/utils/loaders.pyi sha256=K6bVKuffZwmDROdyQKRvH3YCkgtY8VK28TV9p5ptOOU 455
optilog/solvers/sat/solvers/libglucose30.so sha256=gOY51sVUvZ7D-LTgkAouS3A6VzcfBOp0x8V8Kkah46I 147072
optilog/solvers/sat/solvers/libcadical152.so sha256=JLzGqs2G2RTW0V17IbM4ECL1kpTbjTaGc0iuFTVi9fk 774184
optilog/solvers/sat/solvers/libpicosat965.so sha256=SSTTRdlnoi6DOhswTtJXA6hu3RAJ9ErDhifG3gj4WMI 152656
optilog/solvers/sat/solvers/libcadical.so sha256=_aEWHfXK79Oad92z-A1R_-VJdvbNB4o21Iz6qi6in2Q 631792
optilog/solvers/sat/solvers/liblingeling18.so sha256=MXcYCF18AyuEh5W-Ee75KvCejz8avedn1k40UCi0qho 656304
optilog/solvers/sat/solvers/libglucose41.so sha256=iRSmLCIPAzNfqaufaIadVH2ieUuNQs6K5oqoG7kCUiI 321840
optilog/solvers/sat/solvers/libminisat.so sha256=an6yGA2euAtKFxAGyYS22QnjsVmjtrT_FZkmN1dXq-Q 132304
optilog/solvers/sat/solvers/libmergesat.so sha256=jLEcay-l3yhPT6AXlhrjhVacd0mHZbo_JK9yjVm8Lxo 643800
optilog-0.6.0.dist-info/RECORD — —
optilog-0.6.0.dist-info/LICENSE sha256=4W3iZMBRO8Cxe4lb3VaMTTpQDrp7S7md20DHtKrrzrs 4266
optilog-0.6.0.dist-info/METADATA sha256=c4PlDlXmgMe6dmh-Fi9cqRQjzcYiTa_8uikBiBy6ZGg 13957
optilog-0.6.0.dist-info/entry_points.txt sha256=m9xJc_BgmPzNOMgHRhRd8VxcicPRkZMOlHSAD5a4ksE 82
optilog-0.6.0.dist-info/WHEEL sha256=xNC-jWrkLTyy5Px_aashlkOHC7YlB4iVSA16rDR73Bc 142
optilog-0.6.0.dist-info/top_level.txt sha256=uB22uk-woNIGFgdd-L51Key25KLuOnicHSlH5F-ak3k 8

top_level.txt

optilog

entry_points.txt

[console_scripts]
optilog-running = optilog.running.runner:running_cli_entrypoint