{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cadical_itp","owner":"TechnionFV","isFork":true,"description":"CaDiCaL SAT Solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":119,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-08T14:08:34.664Z"}},{"type":"Public","name":"CaDiCaL-DRUPing-for-Interpolants-Project-Version-Base","owner":"TechnionFV","isFork":true,"description":"This repository provides an extension to the CaDiCaL SAT solver that implements the \"DRUPing for Interpolants\" algorithm.","allTopics":["model-checking","formal-methods","technion","sat-solving"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":119,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-12T12:04:55.103Z"}},{"type":"Public","name":"ltls","owner":"TechnionFV","isFork":false,"description":"Running LTLS","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-13T12:18:09.947Z"}},{"type":"Public","name":"DRUPing-CaDiCaL","owner":"TechnionFV","isFork":true,"description":"This repository provides an extension to the CaDiCaL SAT solver that implements the \"DRUPing for Interpolants\" algorithm.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":119,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-02T18:08:48.228Z"}},{"type":"Public","name":".github","owner":"TechnionFV","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-15T13:52:28.433Z"}},{"type":"Public","name":"cadical-rs","owner":"TechnionFV","isFork":true,"description":"Rust bindings for the CaDiCaL SAT solver","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-23T14:15:36.690Z"}},{"type":"Public","name":"cadical","owner":"TechnionFV","isFork":true,"description":"CaDiCaL SAT Solver, this fork solves a minor bug that is yet to be solved in CaDiCal, but is needed for rust bindings..","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":119,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-01T21:48:42.215Z"}}],"repositoryCount":7,"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":"TechnionFV repositories"}