![]() Adds basic comparison, arithmetic and bit arithmetic to Z3 theories. Builtins depend on the kind of theory in use. Z3 builtins are the only polymorphic predicates of the engine. Change-Id: Icb68c71ec29604638282a34d34ce06f1e1d69275 Implements: blueprint alternative-engine-z3 |
||
---|---|---|
.. | ||
__init__.py | ||
typechecker.py | ||
z3builtins.py | ||
z3theory.py | ||
z3types.py |