diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 05:17:18 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 05:17:18 +0800 |
| commit | 9a5dd39accb75618dc40b5b4f4a3c059cacf6e04 (patch) | |
| tree | 8b30c78882af3e4c28d317b2016529fc5794b526 /proofsearch/src/main.cc | |
| parent | bdcf3b2355515f07ab3c12a35009fcbd4746da7b (diff) | |
| download | rcc-project-9a5dd39accb75618dc40b5b4f4a3c059cacf6e04.tar.gz rcc-project-9a5dd39accb75618dc40b5b4f4a3c059cacf6e04.tar.xz | |
feat: add copyright and license disclaimer to program startup output
Diffstat (limited to 'proofsearch/src/main.cc')
| -rw-r--r-- | proofsearch/src/main.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/proofsearch/src/main.cc b/proofsearch/src/main.cc index 45c0185..bf49c02 100644 --- a/proofsearch/src/main.cc +++ b/proofsearch/src/main.cc @@ -31,6 +31,11 @@ #include <string> int main(int argc, char* argv[]) { + std::cerr << "richard-atp-engine Copyright (C) 2026 Richard Qin\n" + << "This program comes with ABSOLUTELY NO WARRANTY.\n" + << "This is free software, and you are welcome to redistribute it\n" + << "under certain conditions; see LICENSE for details.\n\n"; + if (argc < 2) { std::cerr << "Usage: atp <file.p>\n"; return EXIT_FAILURE; |