Cara Install minisat+ di Kali Linux

Tutorial ini menjelaskan cara install minisat+ di Kali Linux

Pengenalan

Di tutorial ini kita akan belajar melakukan instalasi minisat+ di Kali Linux

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

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.

sudo apt-get -y install minisat+

sudo apt -y install minisat+

sudo aptitude -y install minisat+

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

sudo apt-get remove minisat+

Untuk melakukan uninstall minisat+ dan paket-paket dependensi yang sudah tidak dibutuhkan Kali Linux kita bisa menggunakan perintah berikut:

sudo apt-get autoremove minisat+

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

sudo apt-get purge minisat+

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

sudo apt-get autoremove --purge minisat+