# 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
λama is a work in progress!
# 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