added linear constraints
added linear constraints
updated cabal