twelf/examples-clp/laplace
