[mira_talk] Re: deterministic results
- From: Bastien Chevreux <bach@xxxxxxxxxxxx>
- To: mira_talk@xxxxxxxxxxxxx
- Date: Tue, 23 Oct 2012 20:54:52 +0200
On Oct 19, 2012, at 15:30 , Giorgio Gonnella <gonnella@xxxxxxxxxxxxxxxxxx>
wrote:
> […]
> In your answer, you mentioned that for larger projects "you might
> also need to tweak memory parameters". Do you have a suggestion on
> which parameters I could try?
Sorry for the longer delay as I looked up a couple of things in the code. As it
is, when memory is tight (which seems to be the case for you), there is
currently no way to force MIRA to use fixed memory settings, I am terribly
sorry. I can put that on my TODO, but there are a couple of more important
things I need to get going first.
Best,
Bastien
Other related posts:
