From e12110637730d067c216abcc86185b761189b342 Mon Sep 17 00:00:00 2001
From: vblot <24938579+vblot@users.noreply.github.com>
Date: Fri, 28 May 2021 18:29:37 +0200
Subject: getting rid of native-coq (#95)

---
 src/smtcoq_plugin.mlpack | 52 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100644 src/smtcoq_plugin.mlpack

(limited to 'src/smtcoq_plugin.mlpack')

diff --git a/src/smtcoq_plugin.mlpack b/src/smtcoq_plugin.mlpack
new file mode 100644
index 0000000..0907551
--- /dev/null
+++ b/src/smtcoq_plugin.mlpack
@@ -0,0 +1,52 @@
+CoqInterface
+
+SmtMisc
+CoqTerms
+SmtBtype
+SmtForm
+SmtCertif
+SmtTrace
+SmtCnf
+SatAtom
+SmtAtom
+SmtMaps
+
+SatParser
+ZchaffParser
+CnfParser
+Zchaff
+
+Smtlib2_util
+Smtlib2_ast
+Smtlib2_parse
+Smtlib2_lex
+SExpr
+SExprParser
+SExprLexer
+Smtlib2_solver
+
+Lia
+
+VeritSyntax
+VeritParser
+VeritLexer
+
+Shashcons
+Hstring
+Type
+Ast
+Builtin
+Tosmtcoq
+Converter
+LfscParser
+LfscLexer
+
+Smtlib2_genConstr
+
+SmtCommands
+
+Verit
+
+Lfsc
+
+G_smtcoq
-- 
cgit