Ibraheem Ahmed

I'm not sure the smart constructor helps with the simplification. For example, the expression `((x and y) or z)` is fully simplified, but combining that with `or y` we get...

Not getting in the way, @konstin pointed it out in https://github.com/astral-sh/uv/pull/4406.

`uv sync` now removes extraneous packages by default, which you can opt-out with `--no-clean`. Currently `uv add` and `uv run` do not ever remove from the environment, and so `uv...

We should probably add a separate method `display_maybe_empty` for user facing output.

I don't believe `--universal` reads `requires-python` from the input files, you have to specify `-p 3.9`. By default it will use the major and minor version of the current interpreter...

Hmm yeah this is a consequence of us strictly writing in DNF form. Your example does seem like it would be much simpler in CNF.. it's possible that we want...

https://github.com/ibraheemdev/seize/issues/33 should make this a lot cheaper.

The changes look good, thanks. I'll try to have this merged as part of 0.8, which should be finished soon.

@Totodore I think you need to make sure the denormalized params match before doing a removal. Right now `remove("/{x}")` will match and remove a route registered as `"/{id}"`. If you...

> If an error occurs when normalizing the path, it is discarded and None is returned as if the value was not found. I think that's fine, an invalid route...