[dependabot]

Bumps tptp from 0.2.1 to 0.3.0.

Release notes

Sourced from tptp's releases.

v0.3.0

Added

• Tptp.Header, a public reader for the % Key : value header of a problem, an axiom set or a TSTP solution: from_string/2, from_file/2, get/2, entries/2 (a % : line starts a further entry, as in Refs), to_map/1, status/1 (Status, or a solution's Result, through the SZS ontology) and spc/1 (FOF_THM_RFO_SEQ as form, status and features).
• TPTP0901, a header line with no : after its key, in a new TPTP09xx tier. MGT087+1.p, MGT088+1.p, MGT105+1.p and MGT108+1.p of TPTP v9.3.1 write Refs, Source and Names that way; the reader had dropped those lines without a word.

Changed

• The parser is regenerated from TPTP BNF v9.3.1.6, which Tptp.bnf_version/0 now reports; it was v9.3.1.3. This breaks callers that name what it removed:

  • <comment_line> (::-) changed
  • <fof_binary_assoc> (::=) is no longer defined
  • <fof_binary_formula> (::=) no longer admits <fof_binary_assoc>
  • <fof_binary_formula> (::=) no longer admits <fof_binary_nonassoc>
  • <fof_binary_nonassoc> (::=) is no longer defined
  • <ntf_logic_name> (:==) no longer admits $temporal_instant
  • <printable_char> (:::) is no longer defined
  • <tff_binary_assoc> (::=) is no longer defined
  • <tff_binary_formula> (::=) no longer admits <tff_binary_assoc>
  • <tff_binary_formula> (::=) no longer admits <tff_binary_nonassoc>
  • <tff_binary_nonassoc> (::=) is no longer defined
  • <thf_binary_assoc> (::=) is no longer defined
  • <thf_binary_formula> (::=) no longer admits <thf_binary_assoc>
  • <thf_binary_formula> (::=) no longer admits <thf_binary_nonassoc>
  • <thf_binary_nonassoc> (::=) is no longer defined
  • <viewable_char> (:::) is no longer defined

  The BNF records what changed:

  % v9.3.1.4 - Changed <*_binary_assoc> to <*_binary_list> and <*_binary_nonassoc> to
  %            <*_binary_pair>, to reflect the intended non-associativity.
  % v9.3.1.5 - Changed <printable_char> ::: . to <comment_char> ::: [^\r\n], and replaced
  %            <printable_char> with <comment_char> in all uses. Removed unused <viewable_char>.
  %            Thanks to Jiazhen Xia for these fixes.
  % v9.3.1.6 - Removed $temporal_instant and added $intuitionistic as a <ntf_logic_name>
  

• The nodes of a binary formula with a non-associative connective are now of kind :fof_binary_pair, :tff_binary_pair and :thf_binary_pair, where they were :fof_binary_nonassoc, :tff_binary_nonassoc and :thf_binary_nonassoc. The children and the printed text are unchanged; <*_binary_list>, like

... (truncated)

Changelog

Sourced from tptp's changelog.

[0.3.0] - 2026-10-20

Added

• Tptp.Header, a public reader for the % Key : value header of a problem, an axiom set or a TSTP solution: from_string/2, from_file/2, get/2, entries/2 (a % : line starts a further entry, as in Refs), to_map/1, status/1 (Status, or a solution's Result, through the SZS ontology) and spc/1 (FOF_THM_RFO_SEQ as form, status and features).
• TPTP0901, a header line with no : after its key, in a new TPTP09xx tier. MGT087+1.p, MGT088+1.p, MGT105+1.p and MGT108+1.p of TPTP v9.3.1 write Refs, Source and Names that way; the reader had dropped those lines without a word.

Changed

• The parser is regenerated from TPTP BNF v9.3.1.6, which Tptp.bnf_version/0 now reports; it was v9.3.1.3. This breaks callers that name what it removed:

  • <comment_line> (::-) changed
  • <fof_binary_assoc> (::=) is no longer defined
  • <fof_binary_formula> (::=) no longer admits <fof_binary_assoc>
  • <fof_binary_formula> (::=) no longer admits <fof_binary_nonassoc>
  • <fof_binary_nonassoc> (::=) is no longer defined
  • <ntf_logic_name> (:==) no longer admits $temporal_instant
  • <printable_char> (:::) is no longer defined
  • <tff_binary_assoc> (::=) is no longer defined
  • <tff_binary_formula> (::=) no longer admits <tff_binary_assoc>
  • <tff_binary_formula> (::=) no longer admits <tff_binary_nonassoc>
  • <tff_binary_nonassoc> (::=) is no longer defined
  • <thf_binary_assoc> (::=) is no longer defined
  • <thf_binary_formula> (::=) no longer admits <thf_binary_assoc>
  • <thf_binary_formula> (::=) no longer admits <thf_binary_nonassoc>
  • <thf_binary_nonassoc> (::=) is no longer defined
  • <viewable_char> (:::) is no longer defined

  The BNF records what changed:

  % v9.3.1.4 - Changed <*_binary_assoc> to <*_binary_list> and <*_binary_nonassoc> to
  %            <*_binary_pair>, to reflect the intended non-associativity.
  % v9.3.1.5 - Changed <printable_char> ::: . to <comment_char> ::: [^\r\n], and replaced
  %            <printable_char> with <comment_char> in all uses. Removed unused <viewable_char>.
  %            Thanks to Jiazhen Xia for these fixes.
  % v9.3.1.6 - Removed $temporal_instant and added $intuitionistic as a <ntf_logic_name>
  

• The nodes of a binary formula with a non-associative connective are now of kind :fof_binary_pair, :tff_binary_pair and :thf_binary_pair, where they were :fof_binary_nonassoc, :tff_binary_nonassoc and :thf_binary_nonassoc. The children and the printed text are unchanged; <*_binary_list>, like

... (truncated)

Commits

• 5b0bf4c Merge pull request #4 from jcschuster/release-0.3.0
• 91afb6f fix NOTICE SZS BNF digest
• 740855e public header parser (problems and solutions), CI
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)