Installlion's Logo

Installlion.com

Install or Uninstall libcvc3-dev on jessie

libcvc3-dev Automatic theorem prover library for SMT problems (development files) Debian 8.0 libdevel

Package Data

Packagelibcvc3-dev
Version2.4.1-5
MaintainerMorgan Deters
DescriptionAutomatic theorem prover library for SMT problems (development files)
Distrodebian
Releasejessie
Repomain
Sectionlibdevel