pmsat-inference