---
group:
  name: 'Z3Prover'
  description: ''
  projects:
  - name: 'z3'
    description: ''
    mirrorRelease: false
    topic: ''
  - name: 'z3'
    description: ''
    mirrorRelease: false
    topic: ''