src/main/about.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#ifndef __CVC4_ABOUT_H
#define __CVC4_ABOUT_H

namespace CVC4 {
namespace Main {

const char about[] = "\
This is a pre-release of CVC4.\n\
Copyright (C) 2009 The ACSys Group\n\
                   Courant Institute of Mathematical Sciences,\n\
                   New York University\n\
";

}/* CVC4::Main namespace */
}/* CVC4 namespace */

#endif /* __CVC4_MAIN_H */