Smt Solver Interface | Skills Pool