パッケージが提供します。編集できるようになります。description現在の解集合ソルバは、変数のないプログラムを取り扱います。プログラムを計算するグラウンダが必要です。フォーマットで計算します。処理することができます。フォーマットに変換してください。組み合わせてモノリシックなシステムにします。グラウンディングおよびソルビングプロセスを制御することができます。小さなユーティリティ。オートマトンに変換します。モデルの検査に利用できるかもしれません。