Z3: Domain model

Added by almost 5 years ago