{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"LSV-PA","owner":"NTU-ALComLab","isFork":true,"description":"Logic Synthesis and Verification: Programming Assignments","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":12,"issueCount":0,"starsCount":11,"forksCount":579,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T15:34:12.439Z"}},{"type":"Public","name":"SharpSSAT","owner":"NTU-ALComLab","isFork":false,"description":"A witness-generating stochastic Boolean satisfiability solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-06T06:56:22.288Z"}},{"type":"Public","name":"cert-SSAT","owner":"NTU-ALComLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-11T21:34:18.892Z"}},{"type":"Public","name":"SliQSim","owner":"NTU-ALComLab","isFork":false,"description":"A BDD-based Quantum Circuit Simulator","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":16,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-01T14:34:51.900Z"}},{"type":"Public","name":"DSSATpre","owner":"NTU-ALComLab","isFork":false,"description":"(D)SSAT solver and preprocessor","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-28T09:17:15.599Z"}},{"type":"Public","name":"ClauSSat-Theta","owner":"NTU-ALComLab","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-27T05:54:40.424Z"}},{"type":"Public","name":"ClauSSat","owner":"NTU-ALComLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-10T12:22:06.123Z"}},{"type":"Public archive","name":"ext-folding","owner":"NTU-ALComLab","isFork":false,"description":"A circuit folding interface in ABC system","allTopics":["c-plus-plus","thesis","abc","logic-synthesis","dac","iccad"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-08T09:54:35.596Z"}},{"type":"Public archive","name":"IWLS2021","owner":"NTU-ALComLab","isFork":false,"description":"Code repository for the IWLS 2021 Programming Contest","allTopics":["python","contest","verilog","logic-synthesis","machine-laerning","iwls","alcom"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-07T08:16:55.633Z"}},{"type":"Public","name":"SliQEC","owner":"NTU-ALComLab","isFork":false,"description":"A BDD-based Quantum Circuit Equivalence Checker","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-19T18:04:50.437Z"}},{"type":"Public","name":"ssatABC","owner":"NTU-ALComLab","isFork":false,"description":"Stochastic SAT solver within ABC","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":6,"starsCount":5,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-09T10:14:25.935Z"}},{"type":"Public","name":"PGM2SSAT","owner":"NTU-ALComLab","isFork":false,"description":"Stochastic Boolean Satisfiability (SSAT) encoding of Probabilistic Graphical Model (PGM) problems","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-19T13:14:27.494Z"}},{"type":"Public","name":"SliQSim-Qiskit-Interface","owner":"NTU-ALComLab","isFork":false,"description":"The Qiskit Provider of SliQSim","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-12T02:36:40.924Z"}},{"type":"Public","name":"elimssat","owner":"NTU-ALComLab","isFork":false,"description":"A quantified elimination based SSAT solver","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-27T13:48:53.905Z"}},{"type":"Public","name":"TLCollapseVerify","owner":"NTU-ALComLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-11T08:13:02.757Z"}},{"type":"Public","name":"ext-sample","owner":"NTU-ALComLab","isFork":false,"description":"A sampling circuit generator package embedded in abc.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-08T02:35:13.977Z"}},{"type":"Public","name":"ssat-benchmarks","owner":"NTU-ALComLab","isFork":false,"description":"Collection of SSAT instances","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-05T07:02:25.763Z"}},{"type":"Public","name":"MCC2021","owner":"NTU-ALComLab","isFork":false,"description":"Files to participate in the Model Counting Competition 2021","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-17T02:14:33.614Z"}},{"type":"Public","name":"LogicRegression","owner":"NTU-ALComLab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-30T08:06:37.806Z"}},{"type":"Public","name":"XCEC-abc","owner":"NTU-ALComLab","isFork":true,"description":"ABC: System for Sequential Logic Synthesis and Formal Verification","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":579,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-26T09:17:44.904Z"}},{"type":"Public","name":"TLShareLib","owner":"NTU-ALComLab","isFork":false,"description":"Threshold Logic Weight Vector Library.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-30T12:39:15.918Z"}},{"type":"Public","name":"TLCanonicalLib","owner":"NTU-ALComLab","isFork":false,"description":"A canonical library for threshold logic functions","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-30T12:34:40.785Z"}},{"type":"Public","name":"SLENT","owner":"NTU-ALComLab","isFork":false,"description":"A Symbolic Model Checking Approach to the Analysis of String and Length Constraints","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-30T01:29:31.574Z"}}],"repositoryCount":23,"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":"NTU-ALComLab repositories"}