Some programs to implement discrete optimization techniques