Skip to content

Tropical fuzz

waldmann requested to merge tropical-fuzz into master

use fuzzy semi-ring (min,max) (a.k.a. matchbounds) as approximation for tropical (min,plus).

Merge request reports