fixed some issues in solver and made instructions in readme