Exact solution methods

Useful for small-scale problems.