Группа библиотек: org.paradox

Paradox

org.paradox : paradox

Paradox is a tool that processes first-order logic problems and tries to find finite-domain models for them.

Последняя версия: 4.0

Дата: 28 февр. 2013 г.