smt - aided combinatorial materials discovery .
Z3: An Efficient SMT Solver