{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"microsat-wasm","owner":"glnc","isFork":false,"description":"Compile microsat to WebAssembly using emscripten","allTopics":["solver","webassembly","wasm","cnf","sat-solver","sat","dimacs","microsat"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-26T11:19:24.207Z"}},{"type":"Public","name":"microsat","owner":"glnc","isFork":true,"description":"Simple CDCL SAT solver","allTopics":["solver","picosat","cnf","sat","dimacs","cdcl","microsat"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":3,"starsCount":2,"forksCount":26,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-14T09:37:05.670Z"}},{"type":"Public","name":"spur-wasm","owner":"glnc","isFork":false,"description":"Compile SPUR to WebAssembly using emscripten","allTopics":["solver","webassembly","wasm","emscripten","cnf","sat-solver","sat","dimacs","spur"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-05T09:19:44.684Z"}},{"type":"Public","name":"spass-wasm","owner":"glnc","isFork":false,"description":"Compile SPASS to WebAssembly using emscripten","allTopics":["solver","webassembly","wasm","cnf","theorem-prover","emscripten","max-planck-institute","spass"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-05T09:17:08.250Z"}},{"type":"Public","name":"minisat-wasm","owner":"glnc","isFork":false,"description":"Compile MiniSat to WebAssembly using emscripten","allTopics":["solver","webassembly","wasm","cnf","sat-solver","sat","dimacs","emscripten","minisat"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-15T12:49:41.539Z"}}],"repositoryCount":5,"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":"glnc repositories"}