GitHub repository: veronicaz41/r1csfile
Description: r1cs file format parser