Source: z3
Version: 4.8.5-1
Description: An SMT solver