Wheelodex » Projects » optilog

optilog

View on PyPI — Reverse Dependencies (1)

0.6.1 optilog-0.6.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
optilog-0.6.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
optilog-0.6.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
optilog-0.6.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
optilog-0.6.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Wheel Details

Project: optilog
Version: 0.6.1
Filename: optilog-0.6.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Download: [link]
Size: 4188032
MD5: c516e424fd550d6a8a3454cf9c65784a
SHA256: 15f3dc1a86222bd5c481673d1597ffaeb612a2633012e8b1568c7c420953111c
Uploaded: 2024-09-13 10:32:17 +0000

dist-info

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

METADATA

Metadata-Version: 2.1
Name: optilog
Version: 0.6.1
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 (<2.2.2,>=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 (2.4.8)
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=dDvnNyz1OLHQxvZ0XS_tZPtK5IogAPQweRMY13PkZlA 5023696
optilog.libs/libbz2-a273e504.so.1.0.6 sha256=Ks7i35uwgx4aPZalUSQBwyfxeXGQ9BGdNInwVf00yb8 70993
optilog-0.6.1.dist-info/METADATA sha256=343N6TwhWSuT2BBLS97rcHlLs7kRAb_zQNvRyEIG3yk 13964
optilog-0.6.1.dist-info/LICENSE sha256=4W3iZMBRO8Cxe4lb3VaMTTpQDrp7S7md20DHtKrrzrs 4266
optilog-0.6.1.dist-info/WHEEL sha256=rT_1EKmOoUzKQ7TMWdhpID6nx7i-mzHzfZzJbZdQhFs 142
optilog-0.6.1.dist-info/top_level.txt sha256=uB22uk-woNIGFgdd-L51Key25KLuOnicHSlH5F-ak3k 8
optilog-0.6.1.dist-info/entry_points.txt sha256=m9xJc_BgmPzNOMgHRhRd8VxcicPRkZMOlHSAD5a4ksE 82
optilog-0.6.1.dist-info/RECORD — —
optilog/formulas.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/solvers.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/running.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/applications.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/pycard.cpython-39-x86_64-linux-gnu.so sha256=KcjLMjTmr_VvByh31hbD_oVur1LF29TqcMC65PMFLHk 2184952
optilog/abstractscenario.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/modelling.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/blackbox.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/tuning.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/__init__.pyi sha256=tWFMk1JXrX2xOhhxQvl2NUEEJtFfw94MtaklDd08adw 241
optilog/internalutils.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/pb.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/__init__.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/gadgets.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/gadgets/__init__.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/pb/incremental_encoder.pyi sha256=cZkiBxvG_kNNgsMliSSAfdJYPF2m-zIzYs_hhyW6okA 7471
optilog/encoders/pb/encoder.pyi sha256=QbyBDgGAjg2ZO_9-GuCzM4g_wACiqgwf5vwSwnHS-gc 12847
optilog/encoders/pb/__init__.pyi sha256=k311kQBgpsiVLCxpQWXbLtjpoCSjsGbQHoA5q0ELjkk 114
optilog/encoders/pb/extern.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/pb/extern/_utils.pyi sha256=rUqAmzySENoiHRRoNZc__ff_vw0S9CcESjc4p2VKBFM 328
optilog/encoders/pb/extern/formula.pyi sha256=d-1Lo_5vCCI5f9U6KlMEPZdUokNVtTOe6o-zL6HpZck 39694
optilog/encoders/pb/extern/__init__.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/encoders/pb/extern/_fileio.pyi sha256=v71tROpfKANe8kLj2wc-ykn-4Ztr0m4idpOZTBIM_3U 2105
optilog/encoders/pb/extern/card.pyi sha256=hs57JigwCfmMagN6E0kOHejj3D3k_1Z8T4U4JePb3b8 15204
optilog/tuning/configurators.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/tuning/basis.pyi sha256=eLVfSVgJUNLCHYmG613sr5S8NJeQzdMBY4qzrQiHLiY 10548
optilog/tuning/__init__.pyi sha256=T-U-JloR8cPXmt2GUcWwProQm_okne_eU5LpP8y__UE 318
optilog/tuning/pbencoder.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/tuning/pbencoder/pbencoder_transformer.pyi sha256=fAhPi5VxJXSLFY9LvUU-IuQh7M4v8eFvAQgIOclqu_k 791
optilog/tuning/pbencoder/opb_parser.pyi sha256=JKGmfVBZG3n3Yu4fbVjqrZhAnQsJANTlkFpSFaIgWIw 485
optilog/tuning/pbencoder/pycstr_encoder_transformer.pyi sha256=RATIACE020n57T8D5oHT8RMkNaQzDIBooJ6feNOgBaU 469
optilog/tuning/pbencoder/__init__.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/tuning/configurators/abstract_configurator.pyi sha256=aK0GRbCoa1piEyqaSHZ2OoYrfw_W1sn5ytV66JX9IxM 2723
optilog/tuning/configurators/smac.pyi sha256=1KBl_qTskFEllbgZJ4Scdxwx3hReGYKWk7unkJv9Rlo 1768
optilog/tuning/configurators/__init__.pyi sha256=DvHwmQD4vxq7fNJRx0-bWCWcRSUbLSG6A27GsuEzGmk 233
optilog/tuning/configurators/configurator_wrapper.pyi sha256=_pCmLeGXelEZsDvQVpA8KDtkdNxMM1BV1tckVBfUIa0 836
optilog/tuning/configurators/utils.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/tuning/configurators/entrypoint.pyi sha256=aLVD7jgIunee8HkURQwSk865eluNcAgAPI6snNLz00M 756
optilog/tuning/configurators/gga.pyi sha256=ZWOipYqfjnQx78N_ndHkMrcxfrUMU3Fuaeh3Yj0oHhw 2006
optilog/tuning/configurators/utils/smac.pyi sha256=NKT76pBnaJOOPEcvS7yuM7i83Fk1Dmp-C7nJ6HJlC-I 1104
optilog/tuning/configurators/utils/__init__.pyi sha256=Ka3gdWgrFaa3EgGRuJn5_1PuD5QXKJoffDSi2Dqzz4w 83
optilog/tuning/configurators/utils/gga.pyi sha256=CbBsKHyGXSkmHXfH4GC7QoMVQXOoP43PZxlIhWZsJlk 1383
optilog/tuning/configurators/utils/generic.pyi sha256=GCioFJ7F8b3Vn_jSDk00IpPxqP8JK7F7aqxQ95Bp-Tg 81
optilog/tuning/configurators/templates/wrapper_template.sh sha256=8pPimwU_pkp_dwD36NNG25CUDtpmTK-qgWB7nyP7Cj0 337
optilog/modelling/calc.pyi sha256=Fb3SvMgMjBXRW8llfMnvKAj1tieGPn4y4wziqiBv260 1253
optilog/modelling/__init__.pyi sha256=BOtxiEkym47ZIpswJEX84i8DbvNJDWPgt9p-4GxMnjo 533
optilog/modelling/utils.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/modelling/problem.pyi sha256=hpRuX9trq0MjsbT3uEdHOsTC9FGTibsTKOqH4dm5RUU 673
optilog/modelling/translators.pyi sha256=fr2TukNIJS2e3u6Ynsn-bPyT_ABlDFn_XfwzffjYAzc 4004
optilog/modelling/expressions.pyi sha256=nfK8g3nb7J58l0LTXrzKitP614B6NgMU6ct1UDPBnrw 11914
optilog/modelling/modelling.pyi sha256=FVUpJanOnHzVaHXK2rcEIgkZESApF3SjMvtHDbfj5j0 504
optilog/running/__init__.pyi sha256=DXaMN8UKceYIct-o9attWYabGBc1fI1LMPrXSSMht5M 199
optilog/running/parsing.pyi sha256=ZnVt9WFmpElKjTj-Llo-aZWHQgmfVM4y9h5wXCVtqcw 4198
optilog/running/runner.pyi sha256=LywXEMlU5B9lIIPzRcDTx3i8MOk3TpA27lg5hQ-MubE 4421
optilog/running/readme.md sha256=7W7CAMEWDG-GGWDvIiHPQO_ylPElNARtuCQV5eFX66k 1364
optilog/running/processor.pyi sha256=vf-3QYF7xgU8hIJaJoQYVvRV1WWbNj_GF5TiW5ohFq8 1800
optilog/internalutils/__init__.pyi sha256=VGbONTc84nc6YNe-eyBoaBGKsq0wbBaP7fA1rT-q0do 390
optilog/internalutils/parsing.pyi sha256=FpCj-X7t0HyuRz32HYosUExe7QjgRCIBxBal5H_Ja8A 604
optilog/internalutils/utils.pyi sha256=6zaOh7GftfbV8GN0Fzt0ouYzvHCAMrSFXssSMoykRl4 423
optilog/blackbox/__init__.pyi sha256=2BhHPSr8vtE5P6xUsz_HTwXKLnJF4qfhAUfjg-BINwg 306
optilog/blackbox/satex.pyi sha256=TsPZy-NA6qKVyBT_utHe5JS1n3vk0-Ak3GFoYJ9raHE 2293
optilog/blackbox/bb.pyi sha256=ODzQK6Tz_28PdC4SmbQMOnykGeEtvyqq8VLWzkmHI7Y 10126
optilog/blackbox/enforcer.pyi sha256=EBYXc7zasUC0vR9rCxYDsIqvrKHW8u3BHykBEKIL_3w 4425
optilog/formulas/cnf.pyi sha256=1g8d9F_TQLZTbJaHPAlUtwwsBOYm-dXx_2IOP1e2x2c 3805
optilog/formulas/qcnf.pyi sha256=YeNg-tKPytCN99Qg5K6Y33-x_2JJrJJfjANwGv008YY 2444
optilog/formulas/visualization.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/formulas/wcnf.pyi sha256=fbXBxjsJ7LgYUSh7SHmSrBAYM2ZZLqPFKCGEDz8Q2dw 6296
optilog/formulas/loaders.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/formulas/preprocessors.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/formulas/absformula.pyi sha256=GIuPvbcfnhJ-aUPE-PkcMg1rsKfBUcx9-00HkExsQLo 4809
optilog/formulas/__init__.pyi sha256=xBnWpOumr6SaeGLIpPoOa-qa4zJHxy6B5lZuhg635kQ 233
optilog/formulas/visualization/__init__.pyi sha256=UO42TF8Wyzku66M95t1zGU7uqQY_ejSy2N3XuBoDVS8 70
optilog/formulas/visualization/visualization.pyi sha256=72psDtz7QzXgkoBaMECJxcKhBGqenG9-qv9gHiV68qY 742
optilog/formulas/preprocessors/preprocessors.pyi sha256=lV6QZLJrsq10RYFaD-ThlOTkTIe-z4BA6ItczYD0adk 412
optilog/formulas/preprocessors/__init__.pyi sha256=0PyV1FYxKhrDYAJSU3h51gVxkYC-_1Yzz3cpzRuV71Q 56
optilog/formulas/loaders/wrapper.pyi sha256=SrNxdE_-U71n-4su-A0K9QdR5jnnaTc-WIEAl145g50 1018
optilog/formulas/loaders/loaders.pyi sha256=xDeet-l4dyYlHgC0KCvyjgRvQXu15KEpq7IdLb7qRM4 277
optilog/formulas/loaders/__init__.pyi sha256=NyoWMNAo7hHmKr-4wbRSs9JiX6eK3oSZydZ9912nsHc 110
optilog/applications/linear.pyi sha256=n8SWMeLbfgt6KWk2eozqAb_l--pGYgh2qM-lqBgOky8 812
optilog/applications/__init__.pyi sha256=EHonqGv_2ex8LUIaPTSHbicvELVjP1NlPb7o15GSWw0 34
optilog/applications/lsu.pyi sha256=6DXhZXjGOlXYoNIA_AdeWQoMhnhxHlLpvrQ04vYGRrs 26
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=Ne5eIhZoommN7ZXZmNCkPsyri-EDZejJsXD3Ep8kol4 1439625
optilog/solvers/sat/utils.pyi sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
optilog/solvers/sat/__init__.pyi sha256=tTF3T3wz32nkynojUPMExU0NM8mclAyS5s0880Y4AFo 102
optilog/solvers/sat/pyisat.pyi sha256=uHiPxh4cn9oow8LLX8yzwL9HxQ78tCuyaxZcg7s-D9A 17220
optilog/solvers/sat/utils/loaders.pyi sha256=RCXSB7o8aRjUsiGBDYVD1eoBz81MWMbVvTprYgZoemk 424
optilog/solvers/sat/utils/__init__.pyi sha256=wDAuMhrXWPNW-k1xSsLOKsuFJ4Giss1CKtTYABU-y1M 132
optilog/solvers/sat/solvers/libglucose41.so sha256=T7MTLqLD_Ub9VaKLlLzW1owxVGONk-NrpXBNbfDheN0 321840
optilog/solvers/sat/solvers/libminisat.so sha256=MI1gyqbsaymZkMCeUGPFV4SZ90kQBNPX1_2yO0MkqG0 132304
optilog/solvers/sat/solvers/libcadical.so sha256=YrmQ_IcH59eA1AKKR2X6EdomYRxC77D6ynAamXa1kaU 631808
optilog/solvers/sat/solvers/libpicosat965.so sha256=5cUdMW_26zE8z0F1C60CxbBrRT1oVowo-1L50ljJ3I0 152656
optilog/solvers/sat/solvers/libglucose30.so sha256=Zt5r9Se36EpWZvEYmE8ZaaWJzwxsyMJueVqtlqCdEPw 147072
optilog/solvers/sat/solvers/libcadical152.so sha256=kdn7vNXx6-_e0BNwgBqCBsZE6P2rz7c3qgbZEyyyqwA 774184
optilog/solvers/sat/solvers/liblingeling18.so sha256=x7LUzhClxfF9t_VwBnm_zDbZuVr-zxJvCv-_EJAnl64 656304
optilog/solvers/sat/solvers/libmergesat.so sha256=0Wwpavc1Yh8Ne-aoqmrqiDL_y6GrRdk8R5_Keadzc0s 647824
optilog/abstractscenario/abstractscenario.pyi sha256=ZC6xRGSXelDb0Ch6LDdc5D2Aq3gORdEq1brjys512ns 1475
optilog/abstractscenario/__init__.pyi sha256=SoEzSYaY4lYnOkEI5kSHkjICWwISF5i3WQjGuVddRuw 235
optilog/abstractscenario/templates/python_entrypoint_template.template sha256=MlXp285HQ1PdEHXuffY_MTUW3yFTZE8t2fdCZ8qQsGs 457

top_level.txt

optilog

entry_points.txt

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