Exercise algebra.equations.linear.balance
Description
Solve a linear equation using only balance rules.
All applications
Rule algebra.equations.linear.balance.var-right-minus Location [] Rule algebra.equations.linear.balance.con-left-plus Location [] Rule algebra.equations.linear.balance.var-left-minus Location [] Rule algebra.equations.linear.balance.con-right-plus Location [] Rule algebra.equations.linear.flip Location [] Rule algebra.equations.linear.balance.buggy.mulbal5 Location [] Rule algebra.equations.linear.balance.buggy.addbal10 Location [] Rule algebra.equations.linear.balance.buggy.addbal12 Location [] Rule algebra.equations.linear.balance.buggy.addbal13 Location [] Rule algebra.equations.linear.balance.buggy.addbal15 Location [] Rule algebra.equations.linear.balance.buggy.addbal2 Location [] Rule algebra.equations.linear.balance.buggy.addbal3 Location [] Rule algebra.equations.linear.balance.buggy.addbal6 Location [] Rule algebra.equations.linear.balance.buggy.addbal7 Location [] Rule algebra.equations.linear.balance.buggy.flip1 Location [] Rule algebra.equations.linear.balance.buggy.misc1 Location [] Rule algebra.equations.linear.balance.buggy.misc3 Location []