Exact inference in the inequality constrained normal linear regression model | Synapse