Open oyamad opened 7 years ago
I suspect that something like this would be possible -- We should investigate further to verify that all operations would maintain the data as Int
or Rational
(for example, one may have to ensure that the discount factor was of the appropriate type).
If no one is working on this right now, I would like to have a try.
This would be great -- Please let us know if you have questions if you take a stab at this.
Is it possible to compute everything with exact arithmetic, if the input game is of type
Int
orRational
and the user chooses aPolyhedra
library that supports computation withRational
such asCDDLib
andLRSLib
(probably throughplib
)?