This page collects useful materials for the LPAssumptions package for Mathematica by Roger Colbeck (roger.colbeck@york.ac.uk) and V. Vilasini (vv577@york.ac.uk).
The package is licensed under the Apache License 2.0 and is available on github.
There is also an example file, and a short manual.