OStatic

Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-continuous and special ordered sets (SOS) mod...

The Toolkit for Advanced Discriminative Modeling (TADM) is a C++ implementation for estimating the parameters of discriminative models, such as maximu...

XMLMath evaluates mathematical, logical or textual expressions described in xml and prints the result. For example, to compute the result of 1 + 1, yo...

Hy3S uses advanced MPI parallelized hybrid stochastic simulation methods to quickly compute the dynamics of biochemical networks with thousands of spe...

This project provides a Fortran90 library and a python module for singular spectrum analyses such as PCA/EOF or MSSA. It is intended for people intere...

The K.U.Leuven JCHR System is an integration of Constraint Handling Rules (CHR) and Java designed with three aims in mind: user-friendliness, flexibil...