p9m4

prover9/mace4 GUI

WWW CVSWeb GITHub
  1. Package version
    p9m4-05p3
  2. Maintainer
    The OpenBSD ports mailing-list

GUI for the LADR (prover9 mace4) tools.

  • lang/python/3.10

  • devel/py-modulegraph,python3
  • math/prover9/ladr
  • x11/py-wxPython,python3
  • lang/python/3.10