Z3 modulo by zero

mod0.py

import os                                                                                                                                                                                     
from z3 import *                                                                                                                                                                              
                                                                                                                                                                                              
sol = Solver()                                                                                                                                                                                
mod = Int('mod')                                                                                                                                                                              
sol.add(mod >= 0)                                                                                                                                                                             
sol.add(10 % mod == 0)                                                                                                                                                                        
                                                                                                                                                                                              
os.system('z3 -version')                                                                                                                                                                      
print(sol.check())                                                                                                                                                                            
print(sol.model())                                                                                                                                                                            

output

% python3 mod0.py
Z3 version 4.4.0
sat
[mod = 0]
%