GitHub repository: vaphor/hornconverter
Created: 2018-11-14T08:59:09Z
Description: from mini java to horn clauses