From a11eaaddc674c8dbce54c0a0c3ceb1059a0059f0 Mon Sep 17 00:00:00 2001
From: Valentin Blot <24938579+vblot@users.noreply.github.com>
Date: Fri, 24 Nov 2017 18:06:20 +0100
Subject: - auto-generated mli files for future documentation - new Makefiles
 to handle these mli

---
 src/zchaff/cnfParser.mli | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 src/zchaff/cnfParser.mli

(limited to 'src/zchaff/cnfParser.mli')

diff --git a/src/zchaff/cnfParser.mli b/src/zchaff/cnfParser.mli
new file mode 100644
index 0000000..4e2e079
--- /dev/null
+++ b/src/zchaff/cnfParser.mli
@@ -0,0 +1,13 @@
+val skip_comment : SatParser.lex_buff -> unit
+val parse_p_cnf : SatParser.lex_buff -> int
+val mklit : int -> SatAtom.Form.reify -> int -> SatAtom.Form.t
+val parse_clause :
+  int -> SatAtom.Form.reify -> SatParser.lex_buff -> SatAtom.Form.t list
+val parse_clauses :
+  int ->
+  SatAtom.Form.reify ->
+  SatParser.lex_buff ->
+  SatAtom.Form.t SmtCertif.clause -> SatAtom.Form.t SmtCertif.clause
+val parse_cnf :
+  string ->
+  int * SatAtom.Form.t SmtCertif.clause * SatAtom.Form.t SmtCertif.clause
-- 
cgit