Clone of the MinLog System from the Logic Group @ Uni-Muenchen,de. - View it on GitHub