Solver of systems of linear equations with different techniques: backtracking, backtracking wich variable selection according to the most constrained heuristic, backtracking with constraint propagation (node and bound consistency) and branch and bound. Includes a random problem generator.