HELMUT - a HEuristic Linear Model Tester
Helmut is a Heuristic Linear Model Tester. It will "intelligently" choose between linear OLS/GLS model specifications and
Java Decision Diagram Libraries
This project contains two different Binary Decision Diagrams (BDD) libraries: JBDD: a Java interface to two popular BDD