Hi all I have moved Minotaur on github from my personal account to a more neutral github.com/minotaur-solver If you have a minotaur directory on your computer, all you need to do is git remote set-url origin github:minotaur-solver/minotaur.git Let me know if you find anything amiss. -- Regards Ashutosh Mahajan http://www.ieor.iitb.ac.in/amahajan