This package is used to compute Valid and Optimized Solutions using SMT