Cara Install minisat+ di Ubuntu 20.04

Pengenalan

Di tutorial ini kita akan belajar melakukan instalasi minisat+ di Ubuntu 20.04

Update Database apt

Sebelum kita melakukan instalasi paket minisat+ 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 minisat+ di Ubuntu 20.04

Setelah database apt di komputer kita terupdate, kita bisa melakukan instalasi paket minisat+.

Ada tiga metode instalasi minisat+ yang bisa anda gunakan yaitu menggunakan apt-get, apt dan aptitude.

Install minisat+ Menggunakan apt-get

sudo apt-get -y install minisat+

Install minisat+ Menggunakan apt

sudo apt -y install minisat+

Install minisat+ Menggunakan aptitude

sudo aptitude -y install minisat+

Cara Uninstall minisat+ di Ubuntu 20.04

Untuk melakukan uninstall / menghapus hanya paket minisat+ kita bisa menggunakan perintah berikut:

sudo apt-get remove minisat+

Uninstall minisat+ dan paket-paket dependesi

Untuk melakukan uninstall / menghapus paket minisat+ dan paket-paket dependensi yang sudah tidak dibutuhkan Ubuntu kita bisa menggunakan perintah berikut:

sudo apt-get autoremove minisat+

Menghapus Konfigurasi dan/atau data minisat+ dari Ubuntu

Untuk menghapus konfigurasi dan/atau data berkaitan dengan minisat+ dari Ubuntu kita bisa menggunakan perintah berikut:

sudo apt-get purge minisat+

Menghapus konfigurasi dan/atau data dan seluruh dependensi paket minisat+

Untuk menghapus konfigurasi dan/atau data dan seluruh dependensi paket minisat+ kita bisa menggunakan perintah berikut:

sudo apt-get autoremove --purge minisat+