Re: [Why3-club] Loading a theory using ml api

2018-05-09 Thread Claude Marché
Thanks David for sharing your experience. I don't know what is the overall goal of Gian Pietro, but there's a good chance that producing a text file would be a good approach. - Claude Le 08/05/2018 à 22:21, David MENTRÉ a écrit : Hello, Le 2018-05-08 à 18:58, Gian Pietro Farina a écrit :

Re: [Why3-club] Loading a theory using ml api

2018-05-09 Thread Claude Marché
Le 08/05/2018 à 18:58, Gian Pietro Farina a écrit : Hello, Sorry for bothering, I am still having troubles in building tasks with formulas including expressions of the array theory. I attach a minimal "non working" example. please next time send a file that is self-contained Could you