From 0259c6f907875b54e5d1df4bc89efa1c293d2812 Mon Sep 17 00:00:00 2001
From: Trygve Laugstøl <trygvis@inamo.no>
Date: Mon, 27 May 2019 08:52:38 +0200
Subject: Adding Soufflé based reasoning on parts. Replacing default
 configuration with applying python function with this new reasoner.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/ee/souffle/digikey.dl | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 src/ee/souffle/digikey.dl

(limited to 'src/ee/souffle/digikey.dl')

diff --git a/src/ee/souffle/digikey.dl b/src/ee/souffle/digikey.dl
new file mode 100644
index 0000000..735dd2d
--- /dev/null
+++ b/src/ee/souffle/digikey.dl
@@ -0,0 +1,3 @@
+#include "facts.dl"
+
+.output fact
-- 
cgit v1.2.3