Koalog Constraint Solver is a powerful constraint solver written in Java. It provides cutting-edge technology for solving satisfaction and optimization problems, including scheduling, time-tabling, resource-allocation, puzzles (sudoku.koalog.com is powered by Koalog Constraint Solver), and configuration (Koalog Configurator is powered by Koalog Constraint Solver).
JOpt.SDK is an automated vehicle routing and dispatching component for both Java/J2SE and .NET. It can solve Travelling Salesman Problems (TSP) and Capacitated Vehicle Routing Problems with Time Windows (CVRP,VRPTW). It offers route and transport optimisation with respect to various constraints such as time windows, load capacities, and prescribed itinerary. The component is based on genetic algorithms, and automatically determines an optimized allocation of vehicels to an arbitrary set of orders.
FrAid (Fr[actal] Aid) is a programming language that is appropriate for mathematical computations, visualization, batch processing, and more. It features both a standalone application that provides a programming environment for the language and a system for integrating the language with Java. The Java interface allows mathematical equations and formulas to be used with Java code, making it easier to process numerical computations, symbolic computations, imaging, CAD, and more.
Mantissa is a collection of various mathematical algorithms in Java aimed towards simulation. It features a small set of linear algebra classes, a least squares estimator, some curve fitting classes, several ordinary differential equation integrators (all supporting multiple switching functions and dense output), vectors and rotations in a three dimensional space, algebra-related classes like rational and double polynomials, various orthogonal polynomials, some optimization algorithms using direct search methods, and more.
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.
ProActive is a Java library for parallel, distributed, and concurrent computing as well as mobility and security in a uniform framework. It provides a comprehensive API and a graphical interface and is based on an Active Object pattern, a uniform way to encapsulate a remotely accessible object, a thread as an asynchronous activity, an actor with its own script, a server of incoming requests, a mobile and secure agent, and a component with server and client interfaces. It simplifies the programming of applications distributed over a LAN, clusters, an intranet, or Internet GRIDs.