Z3 deducing engine, mostly working. Some things pending:
- support for datetime
- full support for XML
- justification checks
- substrate binding of free vars
↧