Using lpsolve to do exact stability testing. Doesn't quite work yet, so it's commented out.