diff --git a/pom.xml b/pom.xml
index 1b723d0..daaed36 100644
--- a/pom.xml
+++ b/pom.xml
@@ -6,7 +6,7 @@
 
     <groupId>org.vorpal.research</groupId>
     <artifactId>boolector-java</artifactId>
-    <version>3.2.6</version>
+    <version>3.2.7</version>
 
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
@@ -67,4 +67,4 @@
             <url>https://maven.pkg.github.com/vorpal-research/kotlin-maven</url>
         </repository>
     </distributionManagement>
-</project>
\ No newline at end of file
+</project>
diff --git a/src/main/java/org/vorpal/research/boolector/Btor.java b/src/main/java/org/vorpal/research/boolector/Btor.java
index 021aeca..f155ce5 100644
--- a/src/main/java/org/vorpal/research/boolector/Btor.java
+++ b/src/main/java/org/vorpal/research/boolector/Btor.java
@@ -34,12 +34,15 @@ public Btor() {
     }
 
     static {
-        try {
-            NativeUtils.loadLibrary("boolector");
-            NativeUtils.loadLibrary("boolector-java");
-        } catch (IOException e) {
-            e.printStackTrace();
-            throw new IllegalStateException("Unable to load dynamic libraries");
+        boolean skipLoad = Boolean.parseBoolean(System.getProperty("boolector.skipLibraryLoad", "false"));
+        if (!skipLoad) {
+            try {
+                NativeUtils.loadLibrary("boolector");
+                NativeUtils.loadLibrary("boolector-java");
+            } catch (IOException e) {
+                e.printStackTrace();
+                throw new IllegalStateException("Unable to load dynamic libraries");
+            }
         }
     }