{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cryptominisat","owner":"WARP-Research","isFork":true,"description":"An advanced SAT solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":181,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-22T16:46:22.175Z"}},{"type":"Public","name":"stp","owner":"WARP-Research","isFork":true,"description":"Simple Theorem Prover, an efficient SMT solver for bitvectors","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":128,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-24T02:18:48.153Z"}},{"type":"Public","name":"WARP-Cipher-Impl","owner":"WARP-Research","isFork":true,"description":"C++ Implementations of WARP","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-04T02:15:24.027Z"}}],"repositoryCount":3,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"WARP-Research repositories"}