{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"org.alloytools.alloy","owner":"CVC4","isFork":true,"description":"Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":4,"issueCount":5,"starsCount":1,"forksCount":124,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-17T19:38:59.068Z"}},{"type":"Public","name":"signatures","owner":"CVC4","isFork":false,"description":"Proof signatures for CVC4","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-18T00:45:01.849Z"}},{"type":"Public","name":"homebrew-cvc4","owner":"CVC4","isFork":false,"description":"Homebrew formula for CVC4","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":2,"issueCount":5,"starsCount":4,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-13T16:53:42.713Z"}},{"type":"Public archive","name":"CVC4-archived","owner":"CVC4","isFork":false,"description":" CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-06T19:40:09.598Z"}},{"type":"Public","name":"Benchmarks","owner":"CVC4","isFork":false,"description":"Benchmarks for CVC4","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-05T18:50:42.217Z"}},{"type":"Public","name":"Packages","owner":"CVC4","isFork":true,"description":"Packaging (Debian, MacPorts, ...) for CVC4","allTopics":[],"primaryLanguage":{"name":"Tcl","color":"#e4cc98"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-19T03:09:44.529Z"}}],"repositoryCount":6,"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":"CVC4 repositories"}