Metadata-Version: 2.4
Name: gadgetocompiler
Version: 1.0.0rc5
Summary: A tool for compiling gadgets
Author: Logic and Optimization Group
Author-email: Josep Alòs <josep.alos@udl.cat>, Carlos Ansótegui <carlos.ansotegui@udl.cat>, Supratik Chakraborty <supratik@cse.iitb.ac.in>, Eduard Torres <eduard.torres@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.
        
Project-URL: Homepage, https://ulog.udl.cat/static/doc/gadgetocompiler/index.html
Project-URL: Documentation, https://ulog.udl.cat/static/doc/gadgetocompiler/index.html
Project-URL: Changelog, https://ulog.udl.cat/static/doc/gadgetocompiler/changelog.html
Project-URL: Logic and Optimization Group, https://ulog.udl.cat/
Requires-Python: >=3.9
Description-Content-Type: text/markdown
Requires-Dist: gurobipy
Requires-Dist: ortools
Requires-Dist: typing-extensions~=4.15; python_version < "3.11"

# GadgetoCompiler: Computing Gadgets Automatically

Welcome to the `GadgetoCompiler` documentation.

`GadgetoCompiler` is a Python library to compute gadgets automatically.

## Features

TODO

## Dependencies

This project depends on [Gurobi](https://www.gurobi.com/) and [OR-Tools](https://developers.google.com/optimization/).

They are installed automatically when using PIP, but you might need to provide your own license files.

## Installation

GadgetoCompiler is available on PyPI, use `pip install gadgetocompiler` to install it.
