+----------------------------------------------------------------------------+
|                                                       __                   |
|             ____ ______   ____   ____   ______ ______/  |_                 |
|            /  _ \\____ \_/ __ \ /    \ /  ___//     \   __\                |
|           (  <_> )  |_> >  ___/|   |  \\___ \|  Y Y  \  |                  |
|            \____/|   __/ \___  >___|  /____  >__|_|  /__|                  |
|                  |__|        \/     \/     \/      \/                      |
|                                                                            |
+----------------------------------------------------------------------------+
|                                                                            |
| OpenSMT                                                                    |
|                                                                            |
| Copyright 2009 Roberto Bruttomesso <roberto.bruttomesso@gmail.com>         |
|                                                                            |
| Project page......: http://verify.inf.usi.ch/opensmt                       |
| Code Repository...: http://code.google.com/p/opensmt                       |
| Discussion Group..: http://groups.google.com/group/opensmt                 |
|                                                                            |
| OpenSMT is distributed in the hope that it will be useful,                 |
| but WITHOUT ANY WARRANTY; without even the implied warranty of             |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                       |
|                                                                            |
+----------------------------------------------------------------------------+
