sci-mathematics/
kodkodi

A text front-end for the Kodkod Java library

http://www21.in.tum.de/~blanchet/#software

Available Versions

Version amd64 x86 alpha arm hppa ia64 ppc ppc64 sparc
1.5.2 : 0 ~amd64 ~x86 ?alpha ?arm ?hppa ?ia64 ?ppc ?ppc64 ?sparc

Package Metadata

Changelog