The st-trivial-inference-sail module

Other info: