From 53e168879a620fc3ac33bec708e4b394723401e1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 18 Aug 2022 12:33:10 -0700
Subject: [PATCH] add fromString method

---
 src/api/js/src/high-level/high-level.ts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts
index a5e27429b7..78012c5025 100644
--- a/src/api/js/src/high-level/high-level.ts
+++ b/src/api/js/src/high-level/high-level.ts
@@ -1012,6 +1012,10 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
       toString() {
         return check(Z3.solver_to_string(contextPtr, this.ptr));
       }
+
+      fromString(s : string) {
+        Z3.solver_from_string(contextPtr, this.ptr, s);
+      }
     }
 
     class ModelImpl implements Model<Name> {