search

kframework / matching-logic-prover

15 stars 4 forks source link

smt prelude in file #73

Closed h0nzZik closed 4 years ago

h0nzZik commented 4 years ago

This is weird:

Resolving github.com (github.com)... 140.82.114.3
Connecting to github.com (github.com)|140.82.114.3|:443... connected.
HTTP request sent, awaiting response... 429 too many requests
2020-06-11 03:08:31 ERROR 429: too many requests.