using Dates
import R1CSConstraintSolver: solveWithTrustedFunctions


solveWithTrustedFunctions("ecne_circomlib_tests/bitify_Num2BitsNeg.r1cs", "Num2BitsNeg")
    
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulfix_WindowMulFix.r1cs", "WindowMulFix")
    
solveWithTrustedFunctions("ecne_circomlib_tests/bitify_Num2Bits.r1cs", "Num2Bits")
    
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_IsZero.r1cs", "IsZero")
    
solveWithTrustedFunctions("ecne_circomlib_tests/montgomery_Montgomery2Edwards.r1cs", "Montgomery2Edwards")
    
solveWithTrustedFunctions("ecne_circomlib_tests/eddsaposeidon_EdDSAPoseidonVerifier.r1cs", "EdDSAPoseidonVerifier")
    
solveWithTrustedFunctions("ecne_circomlib_tests/pedersen_old_Pedersen.r1cs", "old")
    
solveWithTrustedFunctions("ecne_circomlib_tests/aliascheck_AliasCheck.r1cs", "AliasCheck")
    
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmul_EscalarMul.r1cs", "EscalarMul")
    
solveWithTrustedFunctions("ecne_circomlib_tests/bitify_Num2Bits_strict.r1cs", "Num2Bits")
    
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_LessThan.r1cs", "LessThan")
    
solveWithTrustedFunctions("ecne_circomlib_tests/poseidon_Sigma.r1cs", "Sigma")
    
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulany_Multiplexor2.r1cs", "Multiplexor2")
    
solveWithTrustedFunctions("ecne_circomlib_tests/gates_NOT.r1cs", "NOT")
    
solveWithTrustedFunctions("ecne_circomlib_tests/switcher_Switcher.r1cs", "Switcher")
    
solveWithTrustedFunctions("ecne_circomlib_tests/pointbits_Bits2Point_Strict.r1cs", "Bits2Point")
    
solveWithTrustedFunctions("ecne_circomlib_tests/babyjub_BabyDbl.r1cs", "BabyDbl")
    
solveWithTrustedFunctions("ecne_circomlib_tests/eddsamimcsponge_EdDSAMiMCSpongeVerifier.r1cs", "EdDSAMiMCSpongeVerifier")
    
solveWithTrustedFunctions("ecne_circomlib_tests/pointbits_Point2Bits_Strict.r1cs", "Point2Bits")
    
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulfix_SegmentMulFix.r1cs", "SegmentMulFix")
    
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_ForceEqualIfEnabled.r1cs", "ForceEqualIfEnabled")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mux3_MultiMux3.r1cs", "MultiMux3")
    
solveWithTrustedFunctions("ecne_circomlib_tests/babyjub_BabyAdd.r1cs", "BabyAdd")
    
solveWithTrustedFunctions("ecne_circomlib_tests/poseidon_Ark.r1cs", "Ark")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mux3_Mux3.r1cs", "Mux3")
    
solveWithTrustedFunctions("ecne_circomlib_tests/compconstant_CompConstant.r1cs", "CompConstant")
    
solveWithTrustedFunctions("ecne_circomlib_tests/poseidon_Mix.r1cs", "Mix")
    
solveWithTrustedFunctions("ecne_circomlib_tests/gates_NOR.r1cs", "NOR")
    
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_LessEqThan.r1cs", "LessEqThan")
    
solveWithTrustedFunctions("ecne_circomlib_tests/montgomery_MontgomeryDouble.r1cs", "MontgomeryDouble")
    
solveWithTrustedFunctions("ecne_circomlib_tests/gates_OR.r1cs", "OR")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mux4_Mux4.r1cs", "Mux4")
    
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulfix_EscalarMulFix.r1cs", "EscalarMulFix")
    
solveWithTrustedFunctions("ecne_circomlib_tests/pointbits_Point2Bits.r1cs", "Point2Bits")
    
solveWithTrustedFunctions("ecne_circomlib_tests/eddsamimc_EdDSAMiMCVerifier.r1cs", "EdDSAMiMCVerifier")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mux4_MultiMux4.r1cs", "MultiMux4")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mimcsponge_MiMCFeistel.r1cs", "MiMCFeistel")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mux2_Mux2.r1cs", "Mux2")
    
solveWithTrustedFunctions("ecne_circomlib_tests/multiplexer_Multiplexer.r1cs", "Multiplexer")
    
solveWithTrustedFunctions("ecne_circomlib_tests/pedersen_Segment.r1cs", "Segment")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mux2_MultiMux2.r1cs", "MultiMux2")
    
solveWithTrustedFunctions("ecne_circomlib_tests/multiplexer_Decoder.r1cs", "Decoder")
    
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulany_SegmentMulAny.r1cs", "SegmentMulAny")
    
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_GreaterEqThan.r1cs", "GreaterEqThan")
    
solveWithTrustedFunctions("ecne_circomlib_tests/poseidon_Poseidon.r1cs", "Poseidon")
    
solveWithTrustedFunctions("ecne_circomlib_tests/babyjub_BabyPbk.r1cs", "BabyPbk")
    
solveWithTrustedFunctions("ecne_circomlib_tests/gates_AND.r1cs", "AND")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mux1_Mux1.r1cs", "Mux1")
    
solveWithTrustedFunctions("ecne_circomlib_tests/montgomery_MontgomeryAdd.r1cs", "MontgomeryAdd")
    
solveWithTrustedFunctions("ecne_circomlib_tests/babyjub_BabyCheck.r1cs", "BabyCheck")
    
solveWithTrustedFunctions("ecne_circomlib_tests/pointbits_Bits2Point.r1cs", "Bits2Point")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mimc_MiMC7.r1cs", "MiMC7")
    
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_IsEqual.r1cs", "IsEqual")
    
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulany_EscalarMulAny.r1cs", "EscalarMulAny")
    
solveWithTrustedFunctions("ecne_circomlib_tests/isZero_IsZero.r1cs", "IsZero")
    
solveWithTrustedFunctions("ecne_circomlib_tests/bitify_Bits2Num.r1cs", "Bits2Num")
    
solveWithTrustedFunctions("ecne_circomlib_tests/binsum_BinSum.r1cs", "BinSum")
    
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmul_EscalarMulWindow.r1cs", "EscalarMulWindow")
    
solveWithTrustedFunctions("ecne_circomlib_tests/eddsa_EdDSAVerifier.r1cs", "EdDSAVerifier")
    
solveWithTrustedFunctions("ecne_circomlib_tests/sign_Sign.r1cs", "Sign")
    
solveWithTrustedFunctions("ecne_circomlib_tests/gates_NAND.r1cs", "NAND")
    
solveWithTrustedFunctions("ecne_circomlib_tests/binsub_BinSub.r1cs", "BinSub")
    
solveWithTrustedFunctions("ecne_circomlib_tests/pedersen_Window4.r1cs", "Window4")
    
solveWithTrustedFunctions("ecne_circomlib_tests/bitify_Bits2Num_strict.r1cs", "Bits2Num")
    
solveWithTrustedFunctions("ecne_circomlib_tests/pedersen_Pedersen.r1cs", "Pedersen")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mimcsponge_MiMCSponge.r1cs", "MiMCSponge")
    
solveWithTrustedFunctions("ecne_circomlib_tests/montgomery_Edwards2Montgomery.r1cs", "Edwards2Montgomery")
    
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_GreaterThan.r1cs", "GreaterThan")
    
solveWithTrustedFunctions("ecne_circomlib_tests/multiplexer_EscalarProduct.r1cs", "EscalarProduct")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mimc_MultiMiMC7.r1cs", "MultiMiMC7")
    
solveWithTrustedFunctions("ecne_circomlib_tests/gates_MultiAND.r1cs", "MultiAND")
    
solveWithTrustedFunctions("ecne_circomlib_tests/mux1_MultiMux1.r1cs", "MultiMux1")
    
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulany_BitElementMulAny.r1cs", "BitElementMulAny")
    
solveWithTrustedFunctions("ecne_circomlib_tests/gates_XOR.r1cs", "XOR")
    