Solver of the N-queen puzzle using cooperative Asynchronous Backtracking (ABT).