Initial commit using smt
added dirichlet