The main user library, with all published formal algorithm which where implemented through JTLV.

The base package is responsible for the Infrastructure and some basic facilities.

Version:
"1.4.0"
Author:
yaniv sa'ar.