Title: Tools for reformulating logical forms into zero-one mixed integer programs (MIPS)