Skip to content
Snippets Groups Projects
user avatar
Thomas Witkowski authored
* New function: double AdaptInfo::getEstTSum(int index)
* New flag for problem initialization: INIT_GLOBAL_REFINES (is also set to INIT_ALL)
5eaded80
History
Name Last commit Last update
..