Merge proposals

sat4j in Ubuntu has no merge proposals.