ATIMA (CATIMA) のほぼ全機能をPythonで使うためのラッパー pycatima

pip install pycatima

でインストール可能。pybind11を使ってC++の実行ファイル DLLをPythonから呼んでいるので実行速度はCATIMA (C++版) とほぼ変わらない。