Download all versions of TOVAL JAR files with all dependencies
TOVAL from group de.uni.freiburg.iig.telematik (version 1.0.0)
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.
Artifact TOVAL
Group de.uni.freiburg.iig.telematik
Version 1.0.0
Last update 29. July 2015
Tags: common additionally contains resolution object includes handling comprises together modification programming more matrices permutations sets algorithms types concerning lists collections classes with support keys toval number definitions clauses logic much convenient powersets utils issues java also some arrays multisets mathematic
Organization Institute of Computer Science and Social Studies, Department of Telematics
URL https://github.com/GerdHolz/TOVAL
License bsd_3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.uni.freiburg.iig.telematik
Version 1.0.0
Last update 29. July 2015
Tags: common additionally contains resolution object includes handling comprises together modification programming more matrices permutations sets algorithms types concerning lists collections classes with support keys toval number definitions clauses logic much convenient powersets utils issues java also some arrays multisets mathematic
Organization Institute of Computer Science and Social Studies, Department of Telematics
URL https://github.com/GerdHolz/TOVAL
License bsd_3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)