LSP Solver developed by Fernando Paulovich at ICMC-USP (VICG).