Binary integer programming calculator. attributes: binary integer symbolic >= expr .