mirror of
https://github.com/franklynwang/EcneProject.git
synced 2026-04-20 03:02:45 -04:00
8 lines
198 B
Julia
8 lines
198 B
Julia
using Dates
|
|
import R1CSConstraintSolver: solveWithTrustedFunctions
|
|
|
|
try
|
|
solveWithTrustedFunctions("target/division.r1cs", "division!", input_sym="target/division.sym")
|
|
catch e
|
|
println(e)
|
|
end |