Gentoo Portage Overlays - sci-mathematics/kodkod

Newest News GLSAs Browse USE Flags Overlays More...

sci-mathematics/kodkod

a constraint solver for relational logic

Screenshots

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

kodkod-1.5.2

~amd64 ~x86

elibc_FreeBSD doc source

View

Download

Browse License: MIT

Overlay: funtoo (distro)

kodkod-1.5.2

~amd64 ~x86

elibc_FreeBSD doc source

View

Download

Browse License: MIT

Overlay: gentoo (distro)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs