Implementation of the GSAT search algorithm in Java