Download

You must accept the License Agreement, otherwise you are not permitted to download or use any file or document kept on this site. All files are Copyright (c) André Platzer. All rights reserved.

Copyright (c) 1996-2009 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. Use e-mail for questions)
Download File:	Programming Libraries: Orbital library for Java, 1.3.0 (last build 2009-03-05) Orbital library for Java, 1.2.2 (last build 2008-04-23) Orbital library for Java, 1.1.8 (last build 2007-02-17) Orbital library for Java, 1.0.4 (last build 2002-05-20) Orbital library for Java, 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.