Z3 as an alternative Datalog engine
Z3 as an alternative Datalog engine

Z3 is an open source automatic theorem prover developed by Microsoft.
This spec describes how to add Z3 as an alternative Datalog engine
in Congress.

Change-Id: Ie1e891408c3f03618926cff4d88e7904b0c0e370

openstack/congress-specs