Computing hitting sets for half-planes | Synapse