  MathSAT5 is copyrighted 2009-2020 by Fondazione Bruno Kessler, Trento, Italy,
  University of Trento, Italy, and others. All rights reserved.

  MathSAT5 is available for research and evaluation purposes only.
  It can not be used in a commercial environment,
  particularly as part of a commercial product, without written
  permission. MathSAT5 is provided as is, without any warranty.

  Please write to mathsat@fbk.eu for additional questions regarding
  licensing MathSAT5 or obtaining more up-to-date versions.


  ------------------------------------------------------------------------

  The MathSAT version available here (libmathsatj.so) can be used only
  from within CPAchecker. For any other use, please visit
  http://mathsat.fbk.eu or write to mathsat@fbk.eu
