Issue270

Title PDB code should not depend on M&S code
Priority bug Status resolved
Superseder Nosy List malte, silvan
Assigned To Keywords 1.0
Optional summary

Created on 2011-08-27.15:53:54 by malte, last changed by silvan.

Messages
msg3544 (view) Author: silvan Date: 2014-09-25.14:36:52
This was fixed recently.
msg1696 (view) Author: malte Date: 2011-08-27.15:53:54
Labeling this a bug as it violates our "pluggability" requirements. The PDB code
currently depends on the merge-and-shrink code for the variable order finder.
One way to fix this would be to move the variable order finder functionality
somewhere else.
History
Date User Action Args
2014-09-25 14:36:52silvansetstatus: chatting -> resolved
nosy: + silvan
messages: + msg3544
2011-08-27 15:53:54maltecreate