A solver that uses simple, general-purpose local search strategies. Can be used for discrete and continuous, linear and non-linear, satisfaction and/or optimization models. This solver is incomplete: it does not guarantee optimality.