127Aをリリースしました

マニュアルも更新しました。
Python制約プログラミングマニュアルも更新しました。

１２７Aでは、GUIの制約コントロールをPythonで行っています。
今後は、Algorithm4の改善を行う予定です。
来年は、AWS検討を行う予定です。