Группа библиотек: com.github.green-solver

Green Library

com.github.green-solver : green

Universal interface to decision procedures, constraint solvers, model counters, and related tools

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

Дата: 12 июл. 2019 г.