#!/bin/bash

read -p "Please enter the location of the clingo binary: "
echo "CLINGO_PATH="$REPLY > .config
read -p "Please enter the path to an existing directory to store temporary files: "
echo "TEMP_PATH="$REPLY >> .config
