prover9/mace4 GUI
GUI for the LADR (prover9 mace4) tools.

Maintainer: The OpenBSD ports mailing-list <ports@openbsd.org>

WWW: http://www.cs.unm.edu/%7Emccune/prover9/
