Total 2 Port(s) with Variant: polly_vector
Name Version Description
z3 4.8.8 Z3 Theorem Prover
z3-fstar 4.8.5 F*-qualified release of the Z3 Theorem Prover



Port Information was last updated at:
2020-07-13 00:50 (UTC)
c2ada0c0

Latest build fetched has 'start time':
2020-07-13 00:13 (UTC)

Latest stats submission was received at:
2020-07-13 02:35 (UTC)