I have merged together my version of Bertrand with Igal's version, and
created a new Git repository at
http://github.com/bertrand-constraint/
I had lots of help from Bart Massey, so I hope everything was done
correctly. I was able to compile and run an example program, so I
think I did everything correctly. But I would appreciate it if Igal
would take a quick look and see if I lost any of his changes (and, if
not, close off access to his repository).
If you would like the ability to do commits on this repository, just
let me know. I'd rather hand them out on an individual basis, so send
me your github userid.