TOVAL comprises a set of java classes for common programming issues. It includes utils for arrays, lists, sets and collections for convenient handling and modification, but also support for mathematic definitions concerning logic (clauses + resolution) together with some algorithms for permutations, powersets and resolution. Additionally it contains a number of types for multisets, matrices with object keys and much more.

• Constraint Specification (numerical and string)
• Debugging features (rudimentary)
• File Handling
• Graphical Utils
• Graphical Statistical Diagrams
• Mathematical Utils (permutations, truth tables, binomial coeff., logic, ...)
• Time Utils (intervals, time scale and conversion)
• Parameter validation
• Random value generation
• Utils for collections, arrays, lists, sets, strings

The most recent release is TOVAL 1.0.2, released January 22, 2016.

• toval-1.0.2.jar
• toval-1.0.2-sources.jar
• toval-1.0.2-javadoc.jar

To add a dependency on TOVAL using Maven, use the following:

<dependency>
  <groupId>de.invation.code</groupId>
  <artifactId>TOVAL</artifactId>
  <version>1.0.2</version>
</dependency>

Older releases can be found under https://github.com/GerdHolz/TOVAL/releases.