Open sebffischer opened 1 year ago
we could simply make the parameter a function that takes in the task and needs to output a formula. Then we also need to check that the formula only contains variables that were not discarded during preprocessing
probably the formula should also have access to the param_vals
we could simply make the parameter a function that takes in the task and needs to output a formula. Then we also need to check that the formula only contains variables that were not discarded during preprocessing