New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Release 0.3.9 #2
Conversation
…h PreferLargerInstances" or "--search Random" as a command line argument.
…hout versions That's needed for SublimeREPL, so that it does not need to update commands for each version.
|
Should we merge the search-strategy branch as part of this release? It adds a "--search" option which allows for a random search strategy. |
|
Sure, if you think it's safe and ready. It would be very good to release it. Pls. Make a pull request to merge the strategy branch into develop first. It serves as an excellent record of changes. You can write a short description of how it works as well. Thanks, Michal From: Jimmy LiangSent: Saturday, October 25, 2014 3:41 PMTo: gsdlab/ClaferChocoIGReply To: gsdlab/ClaferChocoIGCc: Michal AntkiewiczSubject: Re: [ClaferChocoIG] Release 0.3.7 (#2)Should we merge the search-strategy branch as part of this release? It adds a "--search" option which allows for a random search strategy. —Reply to this email directly or view it on GitHub. |
|
Jimmy, they don't want to release the 3.2.2-SNAPSHOT in the maven repository see here chocoteam/choco-solver#230 (comment) They'll revert back to the 3.2.1 as the current release. I am not sure Michal On Sat, Oct 25, 2014 at 4:37 PM, mantkiew@gsd.uwaterloo.ca wrote:
Michal Antkiewicz, M.Sc., Ph.D University of Waterloo |
|
btw. the 'search-strategy' branch is not yet pushed to github. M. On Mon, Oct 27, 2014 at 3:50 PM, Michal Antkiewicz <
Michal Antkiewicz, M.Sc., Ph.D University of Waterloo |
Search strategy
|
It fails to build due to API change on the chocosolver side. Maven error report |
Added the following options to the command line interface.
--search PreferSmallerInstances- the solver tries to find smaller instances.--search PreferLargerInstances- the solver tries to find larger instances.--search Random- the solver tries to find instances randomly. Each solution is NOT equally likely (i.e. not uniform distribution). Expect duplicate solutions. REQUIRES --n option to terminate.Do not merge as it does not compile. See comment below.