Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | LICENSE.txt | 1096 | logstatsplain |
-rw-r--r-- | Microsoft.Z3.dll | 214528 | logstatsplain |
-rw-r--r-- | Microsoft.Z3.xml | 300117 | logstatsplain |
-rw-r--r-- | com.microsoft.z3.jar | 173416 | logstatsplain |
-rw-r--r-- | libz3.dll | 10121728 | logstatsplain |
-rw-r--r-- | libz3.lib | 149322 | logstatsplain |
-rw-r--r-- | libz3java.dll | 98816 | logstatsplain |
-rw-r--r-- | libz3java.lib | 265978 | logstatsplain |
-rw-r--r-- | msvcp110.dll | 534480 | logstatsplain |
-rw-r--r-- | msvcr110.dll | 862664 | logstatsplain |
d--------- | python | 67 | logstatsplain |
-rw-r--r-- | vcomp110.dll | 115656 | logstatsplain |
-rw-r--r-- | z3.exe | 10316800 | logstatsplain |