Cara Menginstal picosat di Debian 11

Dalam tutorial ini kita belajar cara menginstal picosat di Debian 11. picosat adalah pemecah SAT dengan bukti dan dukungan inti

pengantar

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

Apa itu picosat

Terlepas dari kelengkapan NP dari masalah kepuasan rumus Boolean (SAT), pemecah SAT sering dapat memutuskan masalah ini dalam framework waktu yang wajar. Karena semua masalah lengkap NP lainnya dapat direduksi menjadi SAT, pemecah telah menjadi alat tujuan umum untuk kelas masalah ini. PicoSAT adalah pemecah SAT yang ternyata lebih cepat pada instans industri daripada MiniSAT 2.0 dan juga dapat menghasilkan bukti dan inti dalam memori.

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

Perbarui database apt dengan apt-get menggunakan perintah berikut.

sudo apt-get update

Setelah memperbarui database apt, kita dapat menginstal picosat menggunakan apt-get dengan menjalankan perintah berikut:

sudo apt-get -y install picosat

Instal picosat Menggunakan apt

Perbarui database apt dengan apt menggunakan perintah berikut.

sudo apt update

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

sudo apt -y install picosat

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

sudo aptitude -y install picosat

Cara Menghapus picosat di Debian 11

Untuk menghapus hanya paket picosat kita dapat menggunakan perintah berikut:

sudo apt-get remove picosat

Copot pemasangan picosat Dan Dependensinya

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

sudo apt-get -y autoremove picosat

Hapus Konfigurasi dan Data picosat

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

sudo apt-get -y purge picosat

Hapus konfigurasi picosat, data, dan semua dependensinya

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

sudo apt-get -y autoremove --purge picosat

Referensi

situs web picosat

Ringkasan

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