λama

Ubuntu 18.04

# You need cvc4 in your path. 
# The easiest way to get it is by running
sudo apt install cvc4

# Build llama by running
cargo build --release

# Run llama on a .synth file by running
./target/release/llama examples/fib.synth