GitHub repository: FedericoAureliano/StringSMTBenchmarks
Primary language: HTML
Created: 2017-11-20T17:29:37Z
Description: Collection of string benchmarks and a website with up to date comparisons on these benchmarks.