Source code of Soda4Lca (http://www.iai.kit.edu/www-extern/index.php?id=soda4lca)