Seriously cool – NStatic solves linear equations
Equation Solving with static code analysis
NStatic sees the assertions, then determines the only way that this function can execute is via setting the three parameters to the solution of the linear equation. That’s a pretty awesome demo.
