Cara Install minizinc di Ubuntu 20.04

Pengenalan

Di tutorial ini kita akan belajar melakukan instalasi minizinc di Ubuntu 20.04

Update Database apt

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

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

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

Install minizinc Menggunakan apt-get

sudo apt-get -y install minizinc

Install minizinc Menggunakan apt

sudo apt -y install minizinc

Install minizinc Menggunakan aptitude

sudo aptitude -y install minizinc

Cara Uninstall minizinc di Ubuntu 20.04

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

sudo apt-get remove minizinc

Uninstall minizinc dan paket-paket dependesi

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

sudo apt-get autoremove minizinc

Menghapus Konfigurasi dan/atau data minizinc dari Ubuntu

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

sudo apt-get purge minizinc

Menghapus konfigurasi dan/atau data dan seluruh dependensi paket minizinc

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

sudo apt-get autoremove --purge minizinc