Updated the solver. It works perfectly fine, but takes a ridicuously long time. Going to speed it up tomorrow.