From 7408740374f46b24edd53d421dbc270d2fca1293 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Sat, 4 Apr 2026 04:56:51 +0800
Subject: feat: implement command-line interface and add end-to-end
 propositional logic test suite

---
 data/simple_propositional.p | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 data/simple_propositional.p

(limited to 'data')

diff --git a/data/simple_propositional.p b/data/simple_propositional.p
new file mode 100644
index 0000000..283c326
--- /dev/null
+++ b/data/simple_propositional.p
@@ -0,0 +1,5 @@
+% Simple propositional-style test
+% P(a) and (P(X) → Q(X)) and ¬Q(a) should be unsatisfiable.
+cnf(fact, axiom, p(a)).
+cnf(rule, axiom, ~p(X) | q(X)).
+cnf(goal, negated_conjecture, ~q(a)).
-- 
cgit v1.2.3