This document provides pointers to the most useful classes of the Orbital library along with a brief description of possible applications. It helps you jump right into action, profiting from the various features of the Orbital library, spontaneously. Nevertheless, there are still large parts of the library which - however useful - can not be discussed here, briefly. To discover them you should still browse the primary documentation.

1. GeneralSearch is the main class for general purpose state-space search algorithms applicable in various problems. For applying a multitude of different algorithms for general search problems it is sufficient to model the specific problem as a state-model. In programming terms, this is achieved by implementing a common interface shared amongst all implementations. Especially conservative artificial intelligence problems profit from this collection of ready-to-use algorithms. Some example applications of `GeneralSearch` are provided, including 8-Puzzle, and Rubik's Cube. A very simple example is provided as SimpleGSP.
6. Mathematical functions have a general interface for functions in mathematics with the abilities of (even symbolic) differentiation and integration. Along with several compositional functionals that are aware of symbolic derivatives as well, comes a bunch of common function implementations. What often proves very useful, too, are the generalized mathematical operations provided, which can handle arithmetic objects as well as functions. There is also a parser for mathematical expressions in the implementation package `orbital.moon.logic`. Apart from the Functional subdirectory of the examples, functions are also used in some of the SimpleDemos.
8. Logic is a generic logic framework and has an implementation of classical logic and fuzzy logic. It provides you with a general interface to logic systems. As with all logic functions you can choose between different notations (prefix, infix, postfix,...) for your logical junctors' string representation. There is also an extensible parser for logical functions and mathematical expressions in the implementation package `orbital.moon.logic`. The documentation of the logic package is itself very extensive and self-contained, while some examples of applications are provided in the Logic subdirectory. Also note that there is a binary tool (in the bin subdirectory) for invoking classical logic and the mathematical parser from the command line. Call "ClassicalLogic --help" for help.