1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Shared Tseitin detection and CP support

Issue #449 resolved
Bart Bogaerts created an issue

attachment is too slow: P(C) is grounded two times to different atoms...

Comments (1)

  2. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
resolved
Component
cp-support
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!