krr / IDP / issues / #993 - Overloaded predicates & SPASS — Bitbucket

Issue #993 new

Bart Bogaerts created an issue 2024-02-09

The TPTP translation does not work well with overloaded predicates/functions

‌

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=e6c361b3d7f5c78f91b7c59f2bb38a18

‌

‌

Comments (0)

Log in to comment

Assignee: –

Type: bug

Priority: major

Status: new

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!