jn

Results 2 issues of jn

Currently the API Token is stored in multiple locations. This should be changed to just one.

BW prio2

fixed import issues for 3sat.ipynb and GHZ-Game.ipynb