OptiLog is free to use for academic use cases. For industrial use please contact the authors.
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.