Use delete[] to free arrays
Relax non-negativity constraint and improve documentation of slacks