Merge pull request #3 from gussmith23/vcanumalla/add-stp

vcanumalla · Dec 12, 2023 · d269af9 · d269af9
2 parents 3a7fc3c + f1ad290
commit d269af9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rosette/solver/smt/stp.rkt b/rosette/solver/smt/stp.rkt
@@ -8,7 +8,7 @@
 (provide (rename-out [make-stp stp]) stp? stp-available?)
 
 (define-runtime-path stp-path (build-path ".." ".." ".." "bin" "stp"))
-(define stp-opts '("--SMTLIB2" "-p"))
+(define stp-opts '("--SMTLIB2"))
 
 (define (stp-available?)
   (not (false? (base/find-solver "stp" stp-path #f))))