I have been hoping that something like this is developed. Great work! But how does one use the PATH solver here. For example to solve the following simple problem: ``` x >= 0 2x - 1 ⟂ x ```