Projects / Orbital library

Orbital library

The Orbital library is a Java class library providing object-oriented representations and algorithms for logic, mathematics, and computer science. It comprises theorem proving, computer algebra, search and planning, as well as machine learning algorithms. Generally speaking, the conceptual idea behind the Orbital library is to provide extensional services and components that surround the heart of many scientific applications, hence the name "Orbital library". In order to satisfy the requirements of high reusability, the design of this foundation class library favors flexibility, conceptual simplicity, and generalization. Many sophisticated problems can be solved easily with its adaptable components.

Operating Systems

Recent releases

  •  10 Apr 2010 13:57

    Release Notes: Major improvements and revision were done in all parts of the library.

    •  10 May 2004 20:05

      Release Notes: Fixes for minor bugs that prevented loading TRS in some cases. Improved documentation. More test cases.

      •  04 Mar 2004 11:23

        Release Notes:


        Project Spotlight


        A Fluent OpenStack client API for Java.


        Project Spotlight

        TurnKey TWiki Appliance

        A TWiki appliance that is easy to use and lightweight.