Changelog for LPPaver
- Write initial README.md and REFERENCE.md
- Remove haddock documentation using GitHub pages
- Issues with dependencies so using hackage instead
- Deploy haddock documentation using GitHub pages
- Clean up and document new modules
- Split up single Type.hs module into smaller and better encapsulated modules
- Add constraintRightSide to LPPaver.Constraint.Util
- Document LPPaver.Constraint.Type and LPPaver.Constraint.Util
- Replace minView with maxView in 'model search' mode
- Higher ranges are more likely to produce models
- Add test suite
- Uses PropaFP and 'Place' examples
- Update package dependencies