Integrate SATZilla 2024 into Sparkle

ADA-research / Sparkle

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.

https://ada-research.github.io/Sparkle/

MIT License

5 stars 2 forks source link

Integrate SATZilla 2024 into Sparkle #27

Closed hadarshavit closed 2 months ago

hadarshavit commented 3 months ago

The new version of SATZilla is now published https://github.com/hadarshavit/revisiting_satzilla. Integrate it into sparkle instead of the old version.

thijssnelleman commented 3 months ago

Will happen after the paper linked to the repo is published