This is a 'fork' of a snapshot of libalf 0.3, downloaded from http://libalf.informatik.rwth-aachen.de/index.php?page=download