added solver description to writeup