[cerved]

I didn't know that, thank you. Is there any information about the internals of this? Like the kind of solver etc?