{"library":"snarkvm-synthesizer-snark","install":[{"cmd":"# Cargo.toml\n[dependencies]\nsnarkvm-synthesizer-snark = \"4.7.3\"","imports":["use snarkvm_synthesizer_snark::SNARK;"]},{"cmd":"cargo add snarkvm-synthesizer-snark","imports":[]}]}