Project on implementing a minimal version of asprin using multi-shot solving
Please update the script mini-asprin.py.
There are no given tests for this project, but you should at least do the tests from the section Checking your mini-asprin of the notebook.