python-pysmt 0.9.6-1

アーキテクチャ:any
リポジトリ:extra
ベースパッケージ:python-pysmt
説明:Solver-agnostic library for SMT Formulae manipulation and solving
上流 URL:https://github.com/pysmt/pysmt
ライセンス:Apache-2.0
パッケージ容量:665.5 KB
インストール容量:5.0 MB
パッケージ作成者:Antonio Rojas
最終更新:2025-06-15 21:51:19 JST

依存パッケージ (6)

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