Cara Menginstal flatzinc di Debian 11

Cara Menginstal flatzinc di Debian 11

Dalam tutorial ini kita belajar cara menginstal flatzinc di Debian 11. flatzinc adalah bahasa pecaralan masalah kendala

pengantar

Dalam tutorial ini kita belajar cara menginstal flatzinc di Debian 11.

Apa itu flatzinc

FlatZinc adalah bahasa pecaralan tingkat rendah untuk masalah kendala. Ini dirancang agar mudah berinteraksi dengan pemecah kendala (seperti Gecode). Untuk informasi lebih lanjut tentang FlatZinc, silakan merujuk ke halaman MiniZinc dari proyek G12 https://www.minizinc.org/.. Interpreter FlatZinc yang dikirimkan bersama Gecode mendukung bahasa FlatZinc dan definisi batasan global MiniZinc dari MiniZinc versi 1.6.0.

Ada tiga cara untuk menginstal flatzinc di Debian 11. Kita bisa menggunakan apt-get, apt dan aptitude. Pada bagian berikut kami akan menjelaskan masing-masing metode. Anda dapat memilih salah satunya.

Instal flatzinc Menggunakan apt-get

Perbarui database apt dengan apt-get menggunakan perintah berikut.

sudo apt-get update

Setelah memperbarui database apt, Kita dapat menginstal flatzinc menggunakan apt-get dengan menjalankan perintah berikut:

sudo apt-get -y install flatzinc

Instal flatzinc Menggunakan apt

Perbarui database apt dengan apt menggunakan perintah berikut.

sudo apt update

Setelah memperbarui database apt, Kita dapat menginstal flatzinc menggunakan apt dengan menjalankan perintah berikut:

sudo apt -y install flatzinc

Instal flatzinc Menggunakan aptitude

Jika Anda ingin mengikuti metode ini, Anda mungkin perlu menginstal aptitude terlebih dahulu karena aptitude biasanya tidak diinstal secara default di Debian. Perbarui database apt dengan aptitude menggunakan perintah berikut.

sudo apt update

Setelah memperbarui database apt, Kita dapat menginstal flatzinc menggunakan aptitude dengan menjalankan perintah berikut:

sudo aptitude -y install flatzinc

Cara Menghapus instalan flatzinc di Debian 11

Untuk menghapus hanya paket flatzinc kita dapat menggunakan perintah berikut:

sudo apt-get remove flatzinc

Copot pemasangan flatzinc Dan Dependensinya

Untuk meng-uninstall flatzinc dan dependensinya yang tidak lagi dibutuhkan oleh Debian 11, kita bisa menggunakan perintah di bawah ini:

sudo apt-get -y autoremove flatzinc

Hapus Konfigurasi dan Data flatzinc

Untuk menghapus konfigurasi dan data flatzinc dari Debian 11 kita dapat menggunakan perintah berikut:

sudo apt-get -y purge flatzinc

Hapus konfigurasi flatzinc, data, dan semua dependensinya

Kita dapat menggunakan perintah berikut untuk menghapus konfigurasi flatzinc , data dan semua dependensinya, kita dapat menggunakan perintah berikut:

sudo apt-get -y autoremove --purge flatzinc

Referensi

  • situs web flatzinc

Ringkasan

Dalam tutorial ini kita belajar cara menginstal flatzinc di Debian 11 menggunakan alat manajemen paket yang berbeda seperti apt, apt-get dan aptitude.