#!/bin/sh

cd sources/simp
make clean
make rs
cp glucose_static ../../bin/glucose_static

