smt_optim
tests
