libproton (pypi): Proton-compliant match scorer library.
Keywords: srcomp