Home » com.github.green-solver » green » Badges

Green Library

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

Generate a badge for this artifact.

Preview
Badge preview
Type:
Type:
Badges are served from badges.mvnrepository.com.