ABS: A QUBO Solver