{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"VLSI-project","owner":"VLSI-combinatorial-problem","isFork":false,"description":"Constraint Programming and SMT models for solving VLSI instances with MiniZinc and Z3","allTopics":["python","constraint-programming","sat-solver","minizinc"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-25T15:02:55.381Z"}}],"repositoryCount":1,"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":"VLSI-combinatorial-problem repositories"}