Comment by cryptonector
7 years ago
Spreadsheets are basically a dependency resolution system, since you have to inspect all cells to decide the order in which to evaluate them. So perhaps loeb is just that, a sort of a SAT solver.
7 years ago
Spreadsheets are basically a dependency resolution system, since you have to inspect all cells to decide the order in which to evaluate them. So perhaps loeb is just that, a sort of a SAT solver.
> since you have to inspect all cells to decide the order in which to evaluate them
I don’t think this is true; evaluation order of a cell with no dependencies or whose dependencies are already resolved shouldn’t matter
Topological sort should be enough for spreadsheets.