From 9a5dd39accb75618dc40b5b4f4a3c059cacf6e04 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Sat, 4 Apr 2026 05:17:18 +0800
Subject: feat: add copyright and license disclaimer to program startup output

---
 proofsearch/src/main.cc | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'proofsearch/src')

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;
-- 
cgit v1.2.3