ladr-dec

Library for Automated Deduction Research

WWW CVSWeb GITHub
  1. Package version
    ladr-dec-2007p3
  2. Maintainer
    The OpenBSD ports mailing-list

Prover9, Mace4, and several related programs come packaged in a system
called LADR (Library for Automated Deduction Research).

  • lang/python/3.10