Пакет: cvc5-dbgsym (1.1.2-2) [debports]

[ Источник:  ]

debug symbols for cvc5

Другие пакеты, относящиеся к cvc5-dbgsym

• dep: cvc5 (= 1.1.2-2)

  automated theorem prover for SMT problems

Загрузка cvc5-dbgsym

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
ppc64 (неофициальный перенос)	1 751,1 Кб	1 841,0 Кб	[список файлов]