Search Portage & Overlays:
Newest
News
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/kodkodi
A text front-end for the Kodkod Java library.
Screenshots
http://www21.in.tum.de/~blanchet/#software
kodkodi-1.5.2
~amd64 ~x86
isabelle examples elibc_FreeBSD doc source elibc_FreeBSD
View
Download
Browse
License: BSD
Overlay:
funtoo
(distro)
kodkodi-1.5.2
~amd64 ~x86
isabelle examples elibc_FreeBSD doc source elibc_FreeBSD
View
Download
Browse
License: BSD
Overlay:
gentoo
(distro)
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
View 
Download 
Browse License: BSD
