{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"intrepid","owner":"formalmethods","isFork":false,"description":"Intrepyd Model Checker","topicNames":["z3","model-checking","formal-methods","automated-tests","smt-solver","formal-verification","python","pypi","model-checker"],"topicsNotShown":0,"allTopics":["z3","model-checking","formal-methods","automated-tests","smt-solver","formal-verification","python","pypi","model-checker"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":17,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-05T15:55:31.809Z"}},{"type":"Public","name":"polytopepacking","owner":"formalmethods","isFork":false,"description":"Polytope packing algorithm implemented with SMT-solvers","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-18T09:33:36.599Z"}},{"type":"Public","name":"swig","owner":"formalmethods","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-19T21:03:50.486Z"}},{"type":"Public","name":"lustreexperiments","owner":"formalmethods","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-12T16:58:58.683Z"}},{"type":"Public","name":"pragmaticpatterns","owner":"formalmethods","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-28T15:38:05.000Z"}},{"type":"Public","name":"formalmethods.github.io","owner":"formalmethods","isFork":false,"description":"Formal Methods Corner","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-02T13:59:10.473Z"}},{"type":"Public","name":"atgexperiments","owner":"formalmethods","isFork":false,"description":"Scripts and benchmarks for ATG","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-02T13:55:12.246Z"}},{"type":"Public","name":"simulinkexperiments","owner":"formalmethods","isFork":false,"description":"This repo contains scripts and instructions to run experiments for the Simulink frontend","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-18T20:46:14.891Z"}},{"type":"Public","name":"opensmt","owner":"formalmethods","isFork":false,"description":"Automatically exported from code.google.com/p/opensmt","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-18T16:01:15.274Z"}},{"type":"Public","name":"smtlectures","owner":"formalmethods","isFork":false,"description":"A collection of slides of the SMT course I held at University of Milan in fall 2011","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-03-14T10:51:00.861Z"}},{"type":"Public","name":"python","owner":"formalmethods","isFork":true,"description":"Pre-compiled python libraries with includes","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2012-11-09T18:26:10.000Z"}}],"repositoryCount":11,"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"}