Cara Menginstal boolector di Debian 11

Cara Menginstal boolector di Debian 11

Dalam tutorial ini kita belajar cara menginstal boolector di Debian 11. boolector adalah pemecah SMT untuk bit-vektor dan array

pengantar

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

Apa itu boolector?

Boolector adalah pemecah SMT yang efisien untuk teori vektor bit bebas kuantifier dalam kombinasi dengan teori array ekstensional bebas kuantifier.

Ada tiga cara untuk menginstal boolector 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 boolector Menggunakan apt-get

Perbarui database apt dengan apt-get menggunakan perintah berikut.

sudo apt-get update

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

sudo apt-get -y install boolector

Instal boolector Menggunakan apt

Perbarui database apt dengan apt menggunakan perintah berikut.

sudo apt update

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

sudo apt -y install boolector

Instal boolector 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 boolector menggunakan aptitude dengan menjalankan perintah berikut:

sudo aptitude -y install boolector

Cara Menghapus boolector di Debian 11

Untuk menghapus hanya paket boolector kita dapat menggunakan perintah berikut:

sudo apt-get remove boolector

Copot pemasangan boolector Dan Dependensinya

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

sudo apt-get -y autoremove boolector

Hapus Konfigurasi dan Data boolector

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

sudo apt-get -y purge boolector

Hapus konfigurasi boolector, data, dan semua dependensinya

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

sudo apt-get -y autoremove --purge boolector

Referensi

  • situs web boolector

Ringkasan

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