tool_lists

Koleksi tautan ke:

• Alat metode formal di sini.
• Perpustakaan Perangkat Lunak Diagram Keputusan Biner (BDD) di sini.
• Paket untuk optimasi cembung di Python di sini.

Sejauh mungkin berdasarkan hukum, penulis telah melepaskan semua hak cipta dan hak terkait atau tetangga untuk teks ini. Untuk menyalin persyaratan, konsultasikan dengan copying.txt, yang merupakan dedikasi domain publik CC0.