[ sid ]
套件:python3-cvc5-dbgsym(1.1.2-2) [debports]
debug symbols for python3-cvc5
其他與 python3-cvc5-dbgsym 有關的套件
|
|
|
|
-
- dep: python3-cvc5 (= 1.1.2-2)
- automated theorem prover for SMT problems (Python bindings)