Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Example.v | 1767 | logstatsplain |
-rw-r--r-- | euf.log | 273 | logstatsplain |
-rw-r--r-- | euf.smt2 | 251 | logstatsplain |
-rw-r--r-- | example.ml | 381 | logstatsplain |
-rw-r--r-- | hole4.cnf | 1442 | logstatsplain |
-rw-r--r-- | hole4.log | 1698 | logstatsplain |
-rw-r--r-- | sat.cnf | 116 | logstatsplain |
-rw-r--r-- | sat.log | 126 | logstatsplain |