version 0.4.1
turn println into logger.info
Merge branch 'trabajo' of git:davidpeklak/smt into trabajo
Merge branch 'master' into trabajo