Cara Menginstal spass di Debian 11

Cara Menginstal spass di Debian 11

Dalam tutorial ini kita belajar cara menginstal spass di Debian 11. spass adalah pembuktian teorema otomatis untuk logika orde pertama dengan kesetaraan

pengantar

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

Apa itu spa?

SPASS adalah pembuktian teorema otomatis berbasis saturasi untuk logika orde pertama dengan kesetaraan. Ini unik karena kombinasi kalkulus superposisi dengan aturan inferensi/reduksi khusus untuk jenis (jenis) dan aturan pemisahan untuk analisis kasus yang dimotivasi oleh aturan beta tabel analitik dan analisis kasus yang digunakan dalam prosedur Davis-Putnam. Selain itu, SPASS menyediakan terjemahan bentuk normal klausa yang canggih.. Paket ini terdiri dari biner SPASS/FLOTTER, dokumentasi, dan kumpulan contoh kecil. Koleksi alat berisi pcs pemeriksa bukti, penerjemah sintaks dfg2otter dan dfg2tptp, dan printer cantik ASCII dfg2ascii.

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

Perbarui database apt dengan apt-get menggunakan perintah berikut.

sudo apt-get update

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

sudo apt-get -y install spas

Instal spas Menggunakan apt

Perbarui database apt dengan apt menggunakan perintah berikut.

sudo apt update

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

sudo apt -y install spas

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

sudo aptitude -y install spas

Cara Menghapus instalan spas di Debian 11

Untuk meng-uninstall hanya paket spas kita dapat menggunakan perintah berikut:

sudo apt-get remove spass

Copot pemasangan spas Dan Dependensinya

Untuk menghapus spass dan dependensinya yang tidak lagi dibutuhkan oleh Debian 11, kita dapat menggunakan perintah di bawah ini:

sudo apt-get -y autoremove spas

Hapus Konfigurasi dan Data spas

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

sudo apt-get -y purge spas

Hapus konfigurasi spas, data, dan semua dependensinya

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

sudo apt-get -y autoremove --purge spas

Referensi

  • situs web spa

Ringkasan

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