Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Microsoft.Z3.dll | 210944 | logstatsplain |
-rw-r--r-- | com.microsoft.z3.jar | 170636 | logstatsplain |
-rw-r--r-- | libz3.a | 60788428 | logstatsplain |
-rw-r--r-- | libz3.so | 23374224 | logstatsplain |
-rw-r--r-- | libz3java.so | 264912 | logstatsplain |
d--------- | python | 67 | logstatsplain |
-rw-r--r-- | z3 | 23460392 | logstatsplain |