optilog-0.6.0 | 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 Products you are accepting the terms of this agreement. The Effective Date of this Agreement is the date on which LOG Products is installed. The LOG Products 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. Products 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 Products 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 Products 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 Products. 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 Products, 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 Products. Your license may not be transferred, leased, assigned, or sub-licensed without LOGs prior written consent, which will not be unreasonably withheld. If you copy or modify the Products 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 Products 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 Products and all documentation relating to the Products including its development or its operation, testing or use, and all reports and copies created, and all intellectual property rights associated with the Products including, without limitation, rights to copyrights, patents, trade secrets, and know-how. This Agreement does not provide you with title or ownership of the Products, 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. |