Removed ExtendedSolver Interface
A utility class for functions that are useful mainly for testing.
Added Rewireable - additional functionality for the solver, to allow for hardwiring constraints.