#! /bin/bash

## THE FRAMEWORK

cd Release
make clean
make
mv ASSAT_Cadical ..
cd ..
