{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"org.alloytools.alloy","owner":"AlloyTools","isFork":false,"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":1,"issueCount":32,"starsCount":687,"forksCount":123,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T16:19:26.748Z"}},{"type":"Public","name":"alloytools.github.io","owner":"AlloyTools","isFork":false,"description":"Website for Alloytools","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":5,"starsCount":12,"forksCount":14,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T08:13:01.734Z"}},{"type":"Public","name":"electrod","owner":"AlloyTools","isFork":true,"description":"Formal analysis for the Electrod formal specification language","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-13T14:39:42.818Z"}},{"type":"Public","name":"cadical","owner":"AlloyTools","isFork":true,"description":"CaDiCaL SAT Solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":111,"license":"MIT License","participation":[0,14,3,5,3,17,1,5,1,0,0,1,17,37,46,42,8,14,1,7,4,7,1,22,17,56,8,29,1,2,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-06T10:52:32.234Z"}},{"type":"Public","name":"models","owner":"AlloyTools","isFork":false,"description":"A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs. ","allTopics":[],"primaryLanguage":{"name":"Alloy","color":"#64C800"},"pullRequestCount":2,"issueCount":0,"starsCount":120,"forksCount":27,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-16T16:26:49.172Z"}},{"type":"Public","name":"minisatprover","owner":"AlloyTools","isFork":true,"description":"The Pseudo-Boolean Solver MiniSat+","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-22T12:19:41.683Z"}},{"type":"Public","name":"gini","owner":"AlloyTools","isFork":true,"description":"A fast SAT solver","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":16,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-21T15:39:49.382Z"}},{"type":"Public","name":"lingeling","owner":"AlloyTools","isFork":true,"description":"Lingeling SAT Solver","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":29,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-21T13:30:33.464Z"}},{"type":"Public","name":"minisat","owner":"AlloyTools","isFork":true,"description":"A minimalistic and high-performance SAT solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":377,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-21T09:21:47.968Z"}},{"type":"Public","name":"glucose","owner":"AlloyTools","isFork":true,"description":"The glucose SAT solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-21T08:48:18.566Z"}}],"repositoryCount":10,"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":"Repositories"}