Adding an exact inference engine.