Ini adalah boolector perintah yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
boolector - pemecah SMT untuk bit-vektor dan array
RINGKASAN
boolector [Pilihan] file masukan
DESKRIPSI
Halaman manual ini mendokumentasikan secara singkat boolector perintah.
Boolektor adalah pemecah SMT yang efisien untuk teori vektor bit yang bebas-kuantifikasi di
kombinasi dengan teori array ekstensional bebas quantifier.
PILIHAN
-h Tampilkan ringkasan opsi.
--Versi: kapan
versi cetak dan keluar
Gunakan boolector online menggunakan layanan onworks.net