Project Group: com.github.green-solver

Green Library

com.github.green-solver : green

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

Last Version: 0.2.0

Release Date: Jul 12, 2019