Miquel Ramírez

Hi, It's been months, but probably not, one doesn't want to ignore the Makefile :) I can't remember why I put it there, really. Miquel

Apologies @Martin36 I somehow missed the notification for your response to my last message. Will look into the latest amendments later today.

> Apologies @Martin36 I somehow missed the notification for your response to my last message. Will look into the latest amendments later today. Actually, checking this on my desktop and...

Hi @mejrpete, > 1. Current tests are focused on write-side RDDL IO. Neither the read-side tests, nor the read-side RDDL IO code has been modified to automatically wrap back and...

I have been thinking a bit about the issues regarding modelling support @mejrpete you mentioned earlier. Thinking a bit about it I see the following as possible "helpers": 1. Add...

Hi @mejrpete, I will get back to you in more detail by next week but just some quick notes: - Summations and products are implemented in `tarski`, you can find...

No need to apologize @mejrpete ! Nothing of this is documented :) Feedback on these features is very welcome, as I pretty much got them in to support the modelling...

I think that going for the full SMT-like representation is the way to go, as you say @gfrances it will be paying off handsomely in the mid term. Maybe @mejrpete...

Hi @mejrpete, great to hear from you, and that you have been making significant progress. I am also going to start using (again) the parts of Tarski that interface with...

I think that Scott didn't want to rile up people and decided to call "action variables" what he would have probably wanted to call "decision variables". One of the elements...