gienah@gentoo.org Mark Wright sci-mathematics A text front-end for the Kodkod Java library. Add integration support for the Isabelle/HOL theorem prover.