From 8baeb530c09672dd18eeb14da212a52e6be5f93b Mon Sep 17 00:00:00 2001 From: Jonathan Prieto-Cubides Date: Tue, 5 Sep 2017 23:47:39 -0500 Subject: [PATCH] [ tstp ] fixed the Metis version in latex. --- problems/prop-metis/README.md | 4 ++++ tstp.tex | 5 +++-- 2 files changed, 7 insertions(+), 2 deletions(-) create mode 100644 problems/prop-metis/README.md diff --git a/problems/prop-metis/README.md b/problems/prop-metis/README.md new file mode 100644 index 0000000..b4ce96d --- /dev/null +++ b/problems/prop-metis/README.md @@ -0,0 +1,4 @@ +This set of problems is based on a list of problems from +the Metis Prover repository. + +- [Metis' Problems](https://raw.githubusercontent.com/gilith/metis/f0b1a17cd57eb098077e963ab092477aee9fb340/src/problems.sml) \ No newline at end of file diff --git a/tstp.tex b/tstp.tex index c38b362..fa7fa3c 100644 --- a/tstp.tex +++ b/tstp.tex @@ -99,7 +99,8 @@ \tableofcontents \section{TSTP Proofs} -Metis Prover (2.3 - release 20170315) found these solutions. +Metis Prover (2.3 - release 20170810) generated these solutions. + \subsection{Basic} \solutiontstp[basic-01.tptp]{problems/basic/basic-01.tstp} \solutiontstp[basic-02.tptp]{problems/basic/basic-02.tstp} @@ -207,7 +208,7 @@ \subsection{Negation} \subsection{Additional Propositional Problems} The following problems were extracted from a list of problems in the repository of source code of Metis -\footnote{\url{https://github.com/gilith/metis/blob/f0b1a17cd57eb098077e963ab092477aee9fb340/src/problems.sml}}. +\footnote{\url{https://raw.githubusercontent.com/gilith/metis/f0b1a17cd57eb098077e963ab092477aee9fb340/src/problems.sml}}. \solutiontstp[prop-01.tstp]{problems/prop-metis/prop-01.tstp} \solutiontstp[prop-02.tstp]{problems/prop-metis/prop-02.tstp}