tool_lists

Коллекция ссылок на:

• Формальные методы инструменты здесь.
• Библиотеки программного обеспечения с диаграммой бинарных решений (BDD) здесь.
• Пакеты для выпуклой оптимизации в Python здесь.

В той мере, что в соответствии с законом, авторы отказались от всех авторских прав и связанных или соседних прав на этот текст. Для копирования условий, проконсультируйтесь с copying.txt, который является посвящением общественного достояния CC0.