#!/bin/bash

#make minisat
cd CSCCSat_source_codes/
make
cp CSCCSat ../bin/
make cleanup
