Total 2 Port(s) with Variant: polly_two_level_tiling
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-03 15:57 (UTC)
1b659e46

Latest build fetched has 'start time':
2020-07-03 15:49 (UTC)

Latest stats submission was received at:
2020-07-03 20:15 (UTC)