Open chadbrewbaker opened 3 years ago
To ease tinkering in Google Colab (I want to play with throwing some of it at a SMT solver) any way you could add a hello world ipython notebook?
I'm not sure how to do that - you're probably best off making a fork where you can add what you need.
To ease tinkering in Google Colab (I want to play with throwing some of it at a SMT solver) any way you could add a hello world ipython notebook?