Third Party Notices
Red Lizard Software primarily develops in OCaml and uses the NuSMV model checker as well as SQLite. We thank all those who have contributed to them.
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
OCaml
Website URL: http://caml.inria.fr/
Copyright © INRIA 1995-2005. All rights reserved.
License URL: http://caml.inria.fr/ocaml/license.en.html
NuSMV
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 (
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
)
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 – 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
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
License URL: http://hg.ocaml.info/release/ocaml-sqlite3/archive/release-1.5.1.zip (see COPYING)
OCaml – SEXPLIB Library
Website URL: http://www.janestreet.com/ocaml/index.html
Copyright © 2007 Jane Street Holding, LLC
License URL: http://www.janestreet.com/ocaml/LICENSE.txt
OCaml – TYPE CONV Library
Website URL: http://www.janestreet.com/ocaml/index.html
Copyright © 2007 Jane Street Holding, LLC
License URL: http://www.janestreet.com/ocaml/LICENSE.txt
All other registered trademarks are the property of their respective owners.
