Ignore:
Timestamp:
Mar 5, 2015, 6:41:38 PM (5 years ago)
Author:
mf2k@…
Message:

cvc4: Port abandoned. (#46356)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/math/cvc4/Portfile

    r124908 r133572  
    88categories          math devel
    99platforms           darwin
    10 maintainers         cs.nyu.edu:mdeters
     10maintainers         nomaintainer
    1111description         An automated theorem prover for SMT problems
    1212long_description    CVC4 is a tool for determining the satisfiability of a first order formula \
Note: See TracChangeset for help on using the changeset viewer.