This will be a SAT solver for robot task scheduling