Third Party Notices | Red Lizard Software

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/

CppCheck

Website URL: http://cppcheck.sourceforge.net/
© 2012 The cppcheck team. All rights reserved.
License URL: http://www.gnu.org/licenses/gpl.html

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

NuSMV (no longer used)

Website URL: http://nusmv.irst.itc.it/
Copyright © 1995-2004, Regents of the University of Colorado. All rights reserved.
License URL: http://nusmv.fbk.eu/open_nusmv/lgpl2.1.txt

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

XPATH

Website URL: http://alain.frisch.fr/
Copyright © 2000 Alain Frisch
License URL: http://alain.frisch.fr/info/xpath-20000904.tar.gz (see LICENSE)

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 – CURSES Library

Website URL: http://www.nongnu.org/ocaml-tmk/
Copyright © 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,Boston, MA 02110-1301, USA
License URL: http://savannah.nongnu.org/projects/ocaml-tmk/

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)

OCaml – SEXPLIB Library

OCaml – TYPE CONV Library

WiX Toolset

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.