Discrete Convex Optimization Solvers and Demonstration Softwares