Source: z3
Version: 4.8.5
Description: An SMT solver