sci-mathematics/
kodkod

a constraint solver for relational logic

http://alloy.mit.edu/kodkod/index.html

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