Linear Inequalities: Hard 🔒

Handle fractional coefficients, count integer solutions, and optimize within layered constraints that mirror the toughest SAT inequality problems.