rnbguy

#!/bin/bash

# script for installing CVC4 SMT solver locally
# CVC4 will be installed in $HOME/cvc4pref/bin

# exit on error
set -e

# clone repo from github
git clone https://github.com/cvc4/cvc4

rnbguy

#!/bin/bash

# Script for installing tmux on systems where you don't have root access.
# tmux will be installed in $HOME/.local/bin.
# It's assumed that wget and a C/C++ compiler are installed.

# exit on error
set -e

# create our directories