Solver for Linear Equalities
Signature
rational : type.
~ : rational -> rational.
+ : rational -> rational -> rational.
- : rational -> rational -> rational.
* : rational -> rational -> rational.
Special constants
q : rational. (for all rationals q)
Previous slide
Next slide
Back to first slide
View graphic version