Cara Install boolector di Ubuntu 20.04
Pengenalan
Di tutorial ini kita akan belajar melakukan instalasi boolector
di Ubuntu 20.04
Update Database apt
Sebelum kita melakukan instalasi paket boolector
kita akan melakukan update database apt di komputer kita.
Kita bisa melakukan update database apt dengan menggunakan perintah apt-get
berikut:
sudo apt-get update
Perintah alternatif untuk update database apt menggunakan perintah apt
:
sudo apt update
Alternatif terakhir menggunakan perintah aptitude
untuk mengupdate database apt:
sudo aptitude update
Cara Install boolector di Ubuntu 20.04
Setelah database apt
di komputer kita terupdate, kita bisa melakukan instalasi paket boolector
.
Ada tiga metode instalasi boolector
yang bisa anda gunakan yaitu menggunakan apt-get
, apt
dan aptitude
.
Install boolector Menggunakan apt-get
sudo apt-get -y install boolector
Install boolector Menggunakan apt
sudo apt -y install boolector
Install boolector Menggunakan aptitude
sudo aptitude -y install boolector
Cara Uninstall boolector di Ubuntu 20.04
Untuk melakukan uninstall / menghapus hanya paket boolector
kita bisa menggunakan perintah berikut:
sudo apt-get remove boolector
Uninstall boolector dan paket-paket dependesi
Untuk melakukan uninstall / menghapus paket boolector
dan paket-paket dependensi yang sudah tidak dibutuhkan Ubuntu kita bisa menggunakan perintah berikut:
sudo apt-get autoremove boolector
Menghapus Konfigurasi dan/atau data boolector dari Ubuntu
Untuk menghapus konfigurasi dan/atau data berkaitan dengan boolector
dari Ubuntu kita bisa menggunakan perintah berikut:
sudo apt-get purge boolector
Menghapus konfigurasi dan/atau data dan seluruh dependensi paket boolector
Untuk menghapus konfigurasi dan/atau data dan seluruh dependensi paket boolector
kita bisa menggunakan perintah berikut:
sudo apt-get autoremove --purge boolector