Marco Favorito

Thanks, very helpful comments :-)

The benefit of this would be reducing the probability of incompatible transactions, and so avoiding retransmission. It is a non-functional improvement, so I'd say we could deprioritize it for the...

Hi. From the error message, it looks like you are calling the `render` function with argument `"C:/Python"`. The argument of `render` is the output path where the automaton will be...

For `SimpleDFA` it should already work: ```python from pythomata import SimpleDFA alphabet = {"a", "b", "c"} states = {"s1", "s2", "s3"} initial_state = "s1" accepting_states = {"s3"} transition_function = {...

Hi @odats , thank you for the feature request, and thank you very much for your interest in the library. We will surely keep in mind this request, although in...

Added [`ruff`](https://github.com/astral-sh/ruff) in place of `flake8-*`, `pylint`, and `darglint`.

@mgkwon thank you very much for your interest in using `pddl`. I'm going to have a look at your issue and provide a fix asap!

Hi, @fenjenahwe the `types` argument in the `Domain` class constructor is of type `Dict[namelike, Optional[namelike]`, see https://github.com/AI-Planning/pddl/blob/8e3be082c0c2142288ffb14a9766f66bd9b1febf/pddl/core.py#L53C19-L53C68 Hence, in your example, you should write: ```python types={ "objects": "world", "location": "world",...

> > Hi, > > @fenjenahwe the `types` argument in the `Domain` class constructor is of type `Dict[namelike, Optional[namelike]`, see https://github.com/AI-Planning/pddl/blob/8e3be082c0c2142288ffb14a9766f66bd9b1febf/pddl/core.py#L53C19-L53C68 > > Hence, in your example, you should write:...

Regarding @mgkwon's issue, I think a good solution would be to pass the type hierarchy definition inside the `Predicate` constructor, e.g.: ```python p = Variable("p", ["person"]) l = Variable("l", ["location"])...