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