本日は数独のソルバーで必要だったz3をWindows上でPythonから使うようにします．できなかったことpipで導入importはできるのにそこからモジュールのクラスにアクセスすると実行エ…