1 files changed, 17 insertions, 0 deletions
diff --git a/libnormalform_cnf.c b/libnormalform_cnf.c
new file mode 100644
index 0000000..d687fc6
--- /dev/null
+++ b/libnormalform_cnf.c
@@ -0,0 +1,17 @@
+/* See LICENSE file for copyright and license details. */
+#include "common.h"
+#ifndef TEST
+
+
+struct libnormalform_term *
+(libnormalform_cnf)(LIBNORMALFORM_SENTENCE *this, uint64_t flags, const struct libnormalform_analysers *analysers)
+{
+	return libnormalform_express__(this, flags | LIBNORMALFORM_RELAX_XOR, analysers, CNF, NULL);
+}
+
+
+#else
+
+TODO_TEST
+
+#endif