#!/bin/sh
cd code
make
cd ..
cp code/probSAT bin/probSAT

