tool_lists

收集鏈接：

• 正式方法工具。
• 二進制決策圖（BDD）軟件庫此處。
• python中的凸優化的軟件包。

根據法律的可能，作者放棄了本文的所有版權以及相關或鄰近的權利。對於復制條件，請諮詢Copying.txt，即CC0公共領域奉獻。