Main code file for SBFIRST constraint generation program