LPSBINARY(1) - manual page | User commands

Replace finite sort variables by vectors of boolean variables in an LPS.