1 files changed, 6 insertions, 0 deletions

diff --git a/examples/sat.cnf b/examples/sat.cnf
new file mode 100644
index 0000000..508791a
--- /dev/null
+++ b/examples/sat.cnf
@@ -0,0 +1,6 @@
+p cnf 3 5
+1       2       3       0
+-1      -2      -3      0
+-1      2       0
+-2      3       0
+-3      1       0