krr / IDP / issues / #121 - Symmetry — Bitbucket

Issue #121 resolved

Bart Bogaerts created an issue 2012-03-15

TODOs for symmetry breaking: * DONE: Implement dynamic symmetry breaking (SP(SAT)) in minisatID * Move symmetry breaking out of modelexpand (should also be called when grounding, for example)

Comments (2)

Bart Bogaerts reporter
- edited description
- 2012-04-25T12:04:30+00:00
Bart Bogaerts reporter
- changed status to resolved
- 2012-05-16T10:25:21+00:00
Log in to comment

Assignee: –

Type: task

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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