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.
Added cpu_time and solver_calls as options for the configuration budget. All three budget options are by default set to their maximum and can be "activated" by assigning a value in the settings.ini file.
Userguide.md aliases are left as 'TODO'. Since the only place the aliases seem to be needed no longer exists, I'm not sure if they're needed any longer
Added cpu_time and solver_calls as options for the configuration budget. All three budget options are by default set to their maximum and can be "activated" by assigning a value in the settings.ini file.
Userguide.md aliases are left as 'TODO'. Since the only place the aliases seem to be needed no longer exists, I'm not sure if they're needed any longer