CTLog is free to use for academic use cases. For industrial use please contact the authors.

            Logic Optimization Group Academic License Agreement
                     Version 1, 23 September 2022

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.


"LOG" is the Logic Optimization Group at University of Lleida.

“Product(s)” is the CTLog program in machine-readable form, including all
Upgrades and published documentation.

“You” or “your” means the single end-user customer organization accepting this


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.

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, 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.


Maintenance and support is not available for academic license.


The Product(s) is distributed free of charge for academic use. Access for
commercial purposes is forbidden.


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.


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.