Please check out (https://wiki.zcubes.com/z3) for more information about Omni-Functional z^3 Language.