1 files changed, 5 insertions, 0 deletions
diff --git a/src/main.cc b/src/main.cc
index 45c0185..bf49c02 100644
--- a/src/main.cc
+++ b/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;