Code containing solutions is in:
DemeterJBST and in
linear-inequalities.

Other code related to  questions is in
height

height-for-type-checker/
for testing Bryan's type checker.