GitHub repository: tip-org/benchmarks
Primary language: SMT
Created: 2015-02-02T13:31:24Z
Description: Tons of Inductive Problems: The Benchmarks