mrs 0.1.0

Mechanical reasoning system