aehyvari

The environment for compiling verify.inf.usi.ch tools such as opensmt in a current environment