Dear Kellen, Yes, I think that would be interesting. However, I word of warning: while the stuff that remains to do is all easy, it might actually take some time to get the stuff ready so that we could accept it as a contribution.
What remains to be done is (I am not 100% whether you might already have done part of it): - Each file must be under the Gecode license. Easy: just add the standard header with your name to each file. - The structure of the contribution should be the same as for the other variable types in Gecode (files, folders, file extensions, includes, namespaces, no using clauses apart from individual functions, etc). Easy: just have a look at any of the variable types that come with Gecode. - The set of branchers must be the same as for the other variable types to get a uniform interface. Easy: just cut and paste will do (beware that you have to retain the original licenses when you do stuff like this). - The set of propagators must be sufficiently complete to be useful. - We need some examples that use the variables. - We need tests! Here again, the easiest is to start from the tests for some other variable type in Gecode. Some of the things sound like we are nitpickers. We are as we have to be: after all, when we accept a contribution we promise that we will try to keep it alive (unless we find out later that nobody wants it). The good news is, we are physically close. If you want to visit me in Kista after you thought the stuff through and have a draft of your contribution you are more than welcome. I'd even buy lunch ;-) Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ > -----Original Message----- > From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On > Behalf Of kel...@cretin.net > Sent: Wednesday, October 22, 2014 10:30 PM > To: users@gecode.org > Subject: Re: [gecode-users] bit-vector variables and constraints > > Hi everbody! > > As Pierre wrote, the code available at: > https://github.com/kellen/bitvector-masters > is a result of my master's thesis in Computer Science with Pierre and Jean-Noël > Monette at Uppsala University. > > If there is interest, I would be willing to do the work to make the code conform > with Gecode style/convention/optimizations. I am, however, a relative novice > C++ coder, as I have mostly been employed doing python and java. > > There are some obvious improvements to be made to the code, some of which > are detailed in my thesis, and probably other potential improvements which will > be obvious to more seasoned C++/Gecode users. > > Christian/Guido: please let me know if/how I should go about integrating the > variable implementation into Gecode core. > > Cheers, > Kellen > > _______________________________________________ > Gecode users mailing list > users@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users