GitHub repository: mariohd/LogicCompiler
Primary language: Scala
Created: 2016-09-01T01:25:53Z
Description: Scala/Java compiler for First Order Logic