OPBDP



All Links

Share this:

Details of OPBDP

About OPBDP
OPBDP- Free, logic-based constraint solver: C++ implementation of implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients.