Sparkle is a Programming by Optimisation (PbO)-based problem-solving platform designed to enable the widespread and effective use of PbO techniques for improving the state-of-the-art in solving a broad range of prominent AI problems, including SAT and AI Planning.
Some old references still point to the bitbucket repository, it would be good to correct them so they point to this new github repository.
Specifically, I saw the following that link to bitbucket:
Maybe there are others.