- repo_helix does not belong to sat solver core