Capability Temporal Logic (CaTL)

Setup

git clone git@github.com:wasserfeder/catl.git
mkdir -p catl/lib
cd catl/lib
wget 'https://www.antlr.org/download/antlr-4.8-complete.jar'
pip install antlr4-python2-runtime==4.8
sudo apt-get install default-jre

For permanent settings use:

cd <clone-dir>
echo "export CLASSPATH=\".:$PWD/lib/antlr-4.8-complete.jar:$CLASSPATH\"" >> ~/.bashrc
echo "alias antlr4=\"java -jar $PWD/lib/antlr-4.8-complete.jar -visitor\"" >> ~/.bashrc
echo "alias grun=\"java org.antlr.v4.gui.TestRig\"" >> ~/.bashrc

Otherwise

cd <clone-dir>
export CLASSPATH=".:$PWD/lib/antlr-4.8-complete.jar:$CLASSPATH"
alias antlr4="java -jar $PWD/lib/antlr-4.8-complete.jar -visitor"'
alias grun="java org.antlr.v4.gui.TestRig"

where <clone-dir> is the directory where you cloned the catl repository.

Install Gurobi with gurobipy for python2, and optionally for python3.

Run

cd <clone-dir>/catl
antlr4 -Dlanguage=Python2 catl.g4

NOTE: At the moment the implementation only supports python2. However, you can generate lexers, parsers, listeners, and visitors for other target languages, such as Java (default), C++, Python3, C#, Go, JavaScript, and Swift. See http://www.antlr.org/download.html for more details.