diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-14 00:32:30 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-14 00:32:30 +0100 |
| commit | 806c46bad96a1e1aa61d740cfdd25aa9178127d2 (patch) | |
| tree | cdcae8eaa226d2796038290020622020738f3aad | |
| parent | b09379b88f8b30c3110dd7e77d1cc3b29dc5efbb (diff) | |
Update SmtLib.hs
| -rw-r--r-- | source/Tptp/SmtLib.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/source/Tptp/SmtLib.hs b/source/Tptp/SmtLib.hs index e9e2bc3..c45d2ed 100644 --- a/source/Tptp/SmtLib.hs +++ b/source/Tptp/SmtLib.hs @@ -60,13 +60,13 @@ encodeExpr = buildExpr . fmap encodeFreeVar Not _pos f -> text "(not " <> buildExpr f <> char ')' Connected Conjunction f1 f2 -> - text "(and " <> buildExpr f1 <> char ' ' <> buildExpr f2 <> char ' ' + text "(and " <> buildExpr f1 <> char ' ' <> buildExpr f2 <> char ')' Connected Disjunction f1 f2 -> - text "(or " <> buildExpr f1 <> char ' ' <> buildExpr f2 <> char ' ' + text "(or " <> buildExpr f1 <> char ' ' <> buildExpr f2 <> char ')' Connected Implication f1 f2 -> - text "(=> " <> buildExpr f1 <> char ' ' <> buildExpr f2 <> char ' ' + text "(=> " <> buildExpr f1 <> char ' ' <> buildExpr f2 <> char ')' Connected Equivalence f1 f2 -> - text "(= " <> buildExpr f1 <> char ' ' <> buildExpr f2 <> char ' ' + text "(= " <> buildExpr f1 <> char ' ' <> buildExpr f2 <> char ')' Connected NegatedDisjunction f1 f2 -> text "(not " <> buildExpr (Connected Disjunction f1 f2) <> char ')' Connected ExclusiveOr f1 f2 -> |