mirror of
https://github.com/franklynwang/EcneProject.git
synced 2026-01-11 06:38:01 -05:00
9 lines
363 B
Julia
9 lines
363 B
Julia
using Test
|
|
import R1CSConstraintSolver: R1CSEquation, SolveConstraintsSymbolic, printEquation, R1CSUnOptimize, solveWithTrustedFunctions
|
|
|
|
equations_main, knowns_main, outs_main = R1CSUnOptimize("trivial_mult.r1cs")
|
|
for eq in equations_main
|
|
printEquation(eq)
|
|
end
|
|
|
|
SolveConstraintsSymbolic(Vector{R1CSEquation}(equations_main), [], knowns_main, true, outs_main) |