default

loading
details
attribute current value
name default
description no description
owning solver Z3-Owl
contents 
#!/bin/bash
pwd
source ./bin/activate
python3 bvfp_solver.py $1

back to Z3-Owl