Updating Runsolver and placing compilation responsibility in platform initialisation

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

Updating Runsolver and placing compilation responsibility in platform initialisation #3

Closed thijssnelleman closed 2 months ago

thijssnelleman commented 2 months ago

To ensure Sparkle will be able to function as intended on the target platform, Runsolver is now compiled (if it does not exist) on the target platform during initialisation.

Updated Runsolver to latest version (July 2023)
Found a bug in Runsolver compilation, resolved and reported to Olivier Roussel

jeroenrook commented 2 months ago

Compiling on grace results into errors due to the absence of libnuma-dev . As this is not a standard library this will likely occur on many systems. I recommend trying to install libnuma with the environment since this is possible through conda.

Also, would it be possible to fall back on a pre-compiled binary of runsolver when the compilation fails?