python-pysmt 0.9.5-5

アーキテクチャ:any
リポジトリ:extra
ベースパッケージ:python-pysmt
説明:Solver-agnostic library for SMT Formulae manipulation and solving
上流 URL:https://github.com/pysmt/pysmt
ライセンス:Apache-2.0
パッケージ容量:656.2 KB
インストール容量:4.8 MB
パッケージ作成者:Jelle van der Waa
最終更新:2024-11-17 20:50:09 JST

依存パッケージ (6)

python-pysmt を必要とするパッケージ (1)