Symmetry breaking

Issue #43 resolved

Bart Bogaerts created an issue 2011-12-09

Moet getest worden: * statisch * dynamisch?

Comments (11)

Bart Bogaerts reporter
- assigned issue to
  
  JoD
- 2011-12-16T15:33:13+00:00
Bart Bogaerts reporter
- changed milestone to Second Release
- changed version to 2.1
- 2011-12-23T13:31:20+00:00
Stef De Pooter
Fixed bug in symmetry detection and added tests.

- Ref issue ~~#43~~ and Jo's e-mail. - Added an mxtest for symmetry breaking. - Made symmetry breaking algorithm less verbose.

→ 8a68198597aa
- 2012-01-06T14:10:05+00:00
Stef De Pooter
Added more tests for symmetry breaking.
- See issue ~~#43~~.
- Run all nbofmodels tests with symmetry breaking, but only checks whether it is SAT or not.
→ 74eac32dcb5e
- 2012-01-06T14:51:58+00:00
Stef De Pooter
- changed status to open
Nu zijn er een aantal testen die falen wanneer symmetriebreking aan staat.
- 2012-01-06T14:54:47+00:00
Stef De Pooter
Added more tests for symmetry breaking.
- See issue ~~#43~~.
- Run all nbofmodels tests with symmetry breaking, but only checks whether it is SAT or not.
→ 98ade9795b9e
- 2012-01-06T16:29:27+00:00
Bart Bogaerts reporter
- changed status to resolved
- 2012-01-12T08:44:54+00:00
Broes De Cat
Fixed bug in symmetry detection and added tests.

- Ref issue ~~#43~~ and Jo's e-mail. - Added an mxtest for symmetry breaking. - Made symmetry breaking algorithm less verbose.

→ 8a68198597aa
- 2012-01-17T14:23:44+00:00
Broes De Cat
Added more tests for symmetry breaking.
- See issue ~~#43~~.
- Run all nbofmodels tests with symmetry breaking, but only checks whether it is SAT or not.
→ 74eac32dcb5e
- 2012-01-17T14:23:44+00:00
Broes De Cat
Added more tests for symmetry breaking.
- See issue ~~#43~~.
- Run all nbofmodels tests with symmetry breaking, but only checks whether it is SAT or not.
→ 98ade9795b9e
- 2012-01-17T14:23:44+00:00
Broes De Cat
- removed milestone
Removing milestone: Second Release (automated comment)
- 2013-01-30T09:36:52+00:00
Log in to comment

Assignee: JoD

Type: task

Priority: major

Status: resolved

Component: Testing

Version: 2.1

Votes: 0

Watchers: 2