mirror of
https://github.com/Veridise/Picus.git
synced 2026-04-19 03:00:11 -04:00
14 lines
291 B
Bash
Executable File
14 lines
291 B
Bash
Executable File
#!/bin/bash
|
|
# usage:
|
|
# picus-solve.sh <path-to-circom-file>
|
|
|
|
fp=$1
|
|
fd="$(dirname "${fp}")"
|
|
fn="$(basename "${fp}")"
|
|
bn="${fn%.*}"
|
|
|
|
otime=600
|
|
solver=cvc5
|
|
|
|
echo "# solving: ${fp}"
|
|
timeout ${otime} racket ./picus-dpvl-uniqueness.rkt --timeout 5000 --solver ${solver} --weak --r1cs ${fp} --map |