lean-cli icon indicating copy to clipboard operation
lean-cli copied to clipboard

Extend stored project parameters

Open Martin-Molinero opened this issue 3 years ago • 0 comments

  • 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

Martin-Molinero avatar Oct 06 '22 15:10 Martin-Molinero