Vector randomization & constraints don't work correctly. about crave HOT 2 OPEN

Thanks for reporting!

• The last issue is indeed a bug: the solver treats if_then_else as a whole and thus, due to the presence of _i - 1, it implies that _i cannot be 0 and ignores the constraint on the first element. This can be fixed easily.
• Vector constraints are mainly a proof-of-concept for the syntax, so the distribution of values is not yet optimized. This is more challenging, but not impossible to fix, at least for the example :) Are vector constraints important for your project?

from crave.

I was wondering what would happen with 0 - 1, didn't realize the whole constraint would be ignored. Good to know!

I'm currently just checking how feasible it would be to use Crave for a project in the near future, so can't say for sure how important vector constraints/randomization is, but it's likely that it would be very useful. I've been playing around with "manually" randomizing objects in an std::vector, but this triggers other bugs (see #2).

from crave.