diff options
Diffstat (limited to 'src/versions/standard/smtcoq_plugin_standard.mlpack')
-rw-r--r-- | src/versions/standard/smtcoq_plugin_standard.mlpack | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/src/versions/standard/smtcoq_plugin_standard.mlpack b/src/versions/standard/smtcoq_plugin_standard.mlpack deleted file mode 100644 index 81ac24b..0000000 --- a/src/versions/standard/smtcoq_plugin_standard.mlpack +++ /dev/null @@ -1,54 +0,0 @@ -Mutils_full -Coq_micromega_full -Structures - -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 |