core-logic

2018-01-14T17:18:49.000068Z

#understatement 🙂

reefersleep 2018-01-14T17:27:45.000079Z

So, I want to input a number of parameters, and have core.logic deliver some success scenarios to me. If I want to guarantee randomness among those scenarios, I’m guessing I can’t rely on core.logic? That is - I have to take all of those success scenarios, and pick randomly among them, post run.

reefersleep 2018-01-14T17:28:25.000005Z

However, if sufficiently few parameters (they are all optional) are input, I predict that the number of success scenarios will be astronomic..

reefersleep 2018-01-14T17:28:41.000084Z

Is there a smart way to solve this

reefersleep 2018-01-14T17:28:42.000056Z

?

reefersleep 2018-01-14T22:11:10.000133Z

To be clear; I’m expecting core.logic to output an astromonomic number of solutions. Ideally, I’d like the final result to be a completely random one of these solution. Since it may be that the entire corpus of solutions cannot fit in memory, ideally, I’d like core.logic to ensure randomness in its resulting seq of solutions, if possible. Can it? Or do I have to puzzle out some adequate post-`run*` randomization myself?