OPBDP
mpi-sb.mpg.deFree, logic-based constraint solver: C++ implementation of implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.