Hi @sebastianruder  @cosmoharrigan  The SatisfyingSetLink will be embedded in the post processing part of RelEx2Logic, which hasn't been implemented yet. Rodas or William will implement that soon, I think...