Certifying quantum separability with adaptive polytopes | Synapse