lean-cli
lean-cli copied to clipboard
Extend stored project parameters
- Project parameters are currently a key, value collection. But ideally we should be able to store the min/max/step properties too, so they are stored when performing an optimization