simference. Generating structures that respect functional constraints by coupling probabilistic inference with simulation (whew, that's a mouthful!)