#!/bin/bash
#aalta

echo "Aalta formula LTL Pure Future input:" 

echo ""

cat $1

echo ""

echo "Aalta SAT result: "

./aalta cat $1
