opbdp is an implementation in C++ of an implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients. A research report describing the techniques used in opbdp is included.
SPICES, in full name Standard Programmable Identifiers for Calculator Enumeration
and Storage, is a set of coding standard for expressing, transferring and
storing calculator programs effectively.