[vc_row row_type=”row” use_row_as_full_screen_section=”no” type=”grid” icon_pack=”font_awesome” content_menu_fe_icon=”arrow_back” text_align=”left” padding_top=”65″ padding_bottom=”65″][vc_column width=”1/1″][vc_row_inner row_type=”row” type=”grid” use_row_as_full_screen_section_slide=”no” text_align=”left”][vc_column_inner width=”1/1″][vc_column_text]Additional copyright notices and license terms applicable to portions of the Software are set forth as follows:

 

ECLIPSE

Website URL: http://www.eclipse.org/
Copyright © 2009 The Eclipse Foundation. All Rights Reserved.
License URL: http://www.eclipse.org/org/documents/epl-v10.php

 

Java

Website URL: http://www.oracle.com/technetwork/java/index.html
Copyright © 2012 Oracle. All rights reserved.
License URL: http://www.oracle.com/technetwork/java/javase/readme-142177.html#redistribution

 

Sonar

Website URL: http://www.sonarsource.org/
© 2008-2012, SonarSource S.A, Switzerland. All rights reserved.
License URL: http://www.sonarsource.org/support/license/

 

OCaml

Website URL: http://caml.inria.fr/
Copyright © INRIA 1995-2005. All rights reserved.
License URL: http://caml.inria.fr/ocaml/license.en.html

 

SMTInterpol

Website URL: http://ultimate.informatik.uni-freiburg.de/smtinterpol/
Copyright © 2012 University of Freiburg. All rights reserved.
License URL: http://www.gnu.org/licenses/lgpl.html

 

SQLite

Website URL: http://www.sqlite.org/
All of the deliverable code in SQLite has been dedicated to the public domain by the authors.
License URL: http://www.sqlite.org/copyright.html

 

OCaml – CALENDAR Library

No website – contact Julien Signoles by email ( julien.signoles@lri.fr )
Copyright © 2003-2008 Julien Signoles
Redistributed and/or modified under the terms of the GNU
Lesser General Public License version 2.1 as published by the
Free Software Foundation

 

OCaml – Camomile Library

Website URL: http://camomile.sourceforge.net/
Source Repository URL: https://github.com/yoriyuki/Camomile/
Copyright © 2001, 2002, 2003, 2004, 2005, 2006, 2009, 2010, 2011 Yoriyuki Yamagata
License URL: https://github.com/downloads/yoriyuki/Camomile/camomile-0.8.4.tar.bz2 (see README and COPYING)

 

OCaml – DERIVING Library

Website URL: http://code.google.com/p/deriving/
Copyright © 2007 Jeremy Yallop
License URL: http://deriving.googlecode.com/files/deriving-0.1.1a.tar.gz (see LICENSE)

 

OCaml – SQLITE3 Library

Website URL: http://www.ocaml.info/home/ocaml_sources.html
Copyright © 2005 Christian Szegedy
Copyright © 2007 Jane Street Holding, LLC, 1 New York Plaza, 33rd Floor, New York, NY 10004, USA
Author: Markus Mottl
Copyright © 2007 Enrico Tassi gareuselesinge@virgilio.it
License URL: http://hg.ocaml.info/release/ocaml-sqlite3/archive/release-1.5.1.zip (see COPYING)

 

WiX Toolset

Website URL: http://wixtoolset.org/
Copyright © 2004, Outercurve Foundation
License URL: http://wix.codeplex.com/license

 

WiX Extended Bootstrapper Application

Website URL: http://wixextba.codeplex.com/
Copyright © 2013, X2 Systems Limited
Copyright © 2004, Outercurve Foundation
License URL: http://wixextba.codeplex.com/license
Source code of our modified version is available from: http://archive.redlizards.com/third_party/WiXExtBA.zip

All other registered trademarks are the property of their respective owners.[/vc_column_text][/vc_column_inner][/vc_row_inner][/vc_column][/vc_row]