Unlike linear programming, which has rather friendly software like gurobi or c++ that seamlessly incorporate into c++ system. For the problem class of Max-Sat, I have been searching for such a software without success. Does anyone know of some such software? Thank you:)
cannon_1 0 Newbie Poster
Be a part of the DaniWeb community
We're a friendly, industry-focused community of developers, IT pros, digital marketers, and technology enthusiasts meeting, networking, learning, and sharing knowledge.