Come desinstalare cbmc su Ubuntu

Desinstalare cbmc

Se vuoi desinstalare solamente cbmc su Ubuntu esegua nella riga di comandi:

sudo apt-get remove cbmc

Desinstalare cbmc e i suoi pacchetti dipendenti

Se vuoi desinstalare il pacchetto cbmc e qualsiasi altri pacchetti dipendenti su cui non sia più necessario su Ubuntu.

sudo apt-get autoremove cbmc

Pulire cbmc

Se vuoi anche pulire le configurazione ed i dati di cbmc su Ubuntu esegua i seguenti comandi:

sudo apt-get purge cbmc

Se vuoi pulire le configurazione e i dati di cbmc ed i suoi pacchetti dipendenti su Ubuntu esegua:

sudo apt-get autoremove --purge cbmc

Informazioni del pacchetto cbmc

nome cbmc
sezione science
descrizione

bounded model checker for C and C++ programs

sito www.cprover.org/ cbmc/ 
responsabile ubuntu-devel-discuss@lists.ubuntu.com

More information about apt-get remove

Advanced Package Tool, or APT, is a free software user interface that works with core libraries to handle the installation and removal of software on Debian, Ubuntu and other Linux distributions. APT simplifies the process of managing software on Unix-like computer systems by automating the retrieval, configuration and installation of software packages, either from precompiled files or by compiling source code.

apt-get is the command-line tool for handling packages, and may be considered the user's "back-end" to other tools using the APT library.

apt-get remove is identical to install except that packages are removed instead of installed. Note that removing a package leaves its configuration files on the system. If a plus sign is appended to the package name (with no intervening space), the identified package will be installed instead of removed.

Vedi anche

Come instalare il pacchetto cbmc su Ubuntu