Download

    Copyright (c) 1996-2008 Andre Platzer. All rights reserved.

License Agreement:

This software is the confidential and proprietary information
of Andre Platzer. ("Confidential Information"). You
shall not disclose such Confidential Information and shall use
it only in accordance with the terms of the license agreement
you entered into.

NO WARRANTIES ARE GIVEN for any function (express or implied) these
files and documents might or might not have. The licenser shall never
be liable for any damage suffered by licensee or any third party as
a result of using these files or derivatives.

You are not to modify, adapt, translate, reverse engineer, decompile,
disassemble, or reverse-engineer the product or attempt to discover
its source code. You agree to notify your employees and agents who
may have access to the software of the restrictions contained in this
Agreement and to insure their compliance with these restrictions.

Distribution and use of these files and documents is prohibited unless
you make sure that:
  (o) this License Agreement and Copyright notice is contained,
  (o) the files are not modified,
  (o) you clearly indicate that you use our files, and
  (o) you give credit to Andre Platzer in all work resulting from the
      use of these files.

Only if you have accepted this License Agreement, fill out the form below to download:

Name:

Email:

Comments:
(intended use, evaluation purpose, etc., no short-term messages, please)

Download File:

Programming Libraries:
Orbital library, Java runtime library 1.2.0 (last build 2008-04-23)
Orbital library, Java runtime library 1.1.8 (last build 2007-02-17)
Orbital library, Java runtime library 1.0.4 (last build 2002-05-20)
Orbital library, Java runtime library 0.9.6 (last build 2000-07-30)
(The earlier releases 0.6-0.8 of Orbital library prior to the year 1998 are no longer available for download)
Games:
Seti 2 for Java Virtual Machine 1.1+ (recommended)
Seti 2 for Java Web Start (simple automatic installation)
Seti 1 for Java Virtual Machine 1.0 (simple version)
Rhythmomachia 2 for Java Virtual Machine 1.4+
Rhythmomachia 2 for Java Web Start (simple automatic installation)
Rhythmomachia 1 for Java Virtual Machine 1.0+
Rhythmomachia 1 for Java Web Start (simple automatic installation)
Toolboxes:
Synx, the integrated scanner & parser generator toolkit, α-version 0.5 for Windows.
Vector Animation Kit
Simple Browser
Verification Tools:
KeYmaera is available for download separately

The data you provide here is handled strictly private and your privacy is fully respected, as stated in the privacy policy.