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
1 stars 1 forks source link

Sprk 80 - [M] Add pcs validity and running check to wrappers #17

Closed jeroenrook closed 1 month ago

jeroenrook commented 1 month ago

Addressed the following checks when adding a solver

After discussion we decided not to implement the following point, as there are too many scenarios that probing will not work on all of those.

jeroenrook commented 1 month ago

I hope you checked that sparkle_solver_wrapper.py is present and not the smac one?

Checked it and it does 👍