congress/releasenotes/notes/z3-engine-30c0d0fb93ea7a52.yaml
Eric K 57134b781e Rocky release notes wrap-up
Change-Id: I5856783efb09c8305c0f896c58e193f012bfde14
2018-08-07 14:07:45 -07:00

9 lines
290 B
YAML

---
prelude: >
features:
- |
An experimental new policy kind *z3* that will be evaluated using Microsoft
Research's state-of-the-art prover. To use the feature, the prover must be
installed. For instructions, see https://docs.openstack.org/congress/latest/install/index.html