{"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":0,"issueCount":34,"starsCount":697,"forksCount":124,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-21T16:03:07.607Z"}},{"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":13,"forksCount":14,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-09T12:09:35.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":118,"license":"MIT License","participation":null,"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":123,"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":379,"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":"AlloyTools repositories"}