satsolver.ipynb 911 KB