λ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