Программы dolphin-project.sf.net

Проект «Дельфин» предназначен для агрегации инструментов исследовательского проекта, связанных с инструментами и инструментами Open Source Satisfiability Solver, такими как связанные с ними проверки моделей и модификаторы про