Units Inference

Units Inference System

Dependencies

python 2.7, with pip, and packages yaml and mozilla lithium:

sudo apt-get install --yes python python-pip python-yaml

pip install lithium-reducer

microsoft z3

coq v8.8.0

Test command

gradle test

Benchmark command

./run-benchmarks.sh

Analyze benchmark outputs command

./analyze-corpus.sh