Decide on unsolvable default stats

Issue #20 new
Christian Muise created an issue

E.g., what should the lower and upper bound be for an unsolvable problem.

Comments (2)

  1. Florian Pommerening

    This might have different answers for different parts of the code. For example, if the database allows to store a special "infinity" value, then this still doesn't answer the question what the json response should be. And if json returns some special string (say "infnity"), then the python API could still parse this and return something else (say float("inf")) when asked for a bound.

  2. Christian Muise reporter

    Aye, for sure. I'll open issues there when this moves forward, but I think casting to the language-appropriate values for those libraries makes sense (there's also the js library for interfacing with the api).

  3. Log in to comment