ngocpq/codis

Inductive program synthesizer

Java

CODIS

CODIS is an inductive program synthesizer.

Installation

Compile MathSAT with Java support.

Install mathsat.api to Maven:

 mvn install:install-file -Dfile=/path/to/mathsat.jar \
                          -DgroupId=mathsat.api \
                          -DartifactId=mathsat \
                          -Dversion=5 \
                          -Dpackaging=jar

Execute mvn package.