{"id":19268384,"url":"https://github.com/permutatriangle/combcov","last_synced_at":"2025-02-23T19:46:06.249Z","repository":{"id":62563802,"uuid":"178014679","full_name":"PermutaTriangle/CombCov","owner":"PermutaTriangle","description":"Conjectured Covers of Combinatorial Classes","archived":false,"fork":false,"pushed_at":"2021-08-11T18:24:34.000Z","size":187,"stargazers_count":0,"open_issues_count":1,"forks_count":0,"subscribers_count":9,"default_branch":"master","last_synced_at":"2024-04-27T02:02:45.051Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://permutatriangle.github.io/projects/2018-12-11-combcovfin.html","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/PermutaTriangle.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2019-03-27T14:45:18.000Z","updated_at":"2019-12-17T23:26:01.000Z","dependencies_parsed_at":"2022-11-03T16:00:29.275Z","dependency_job_id":null,"html_url":"https://github.com/PermutaTriangle/CombCov","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PermutaTriangle%2FCombCov","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PermutaTriangle%2FCombCov/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PermutaTriangle%2FCombCov/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PermutaTriangle%2FCombCov/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/PermutaTriangle","download_url":"https://codeload.github.com/PermutaTriangle/CombCov/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240371742,"owners_count":19790888,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-09T20:16:05.218Z","updated_at":"2025-02-23T19:46:06.127Z","avatar_url":"https://github.com/PermutaTriangle.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# CombCov\n\n[![Build Status](https://img.shields.io/travis/PermutaTriangle/CombCov.svg?label=Linux%20CI\u0026logo=travis\u0026logoColor=white)](https://travis-ci.org/PermutaTriangle/CombCov)\n[![Coverage Status](https://img.shields.io/coveralls/github/PermutaTriangle/CombCov.svg)](https://coveralls.io/github/PermutaTriangle/CombCov)\n[![Requirements Status](https://img.shields.io/requires/github/PermutaTriangle/CombCov.svg)](https://requires.io/github/PermutaTriangle/CombCov/requirements)\n[![Licence](https://img.shields.io/github/license/PermutaTriangle/CombCov.svg)](https://raw.githubusercontent.com/PermutaTriangle/CombCov/master/LICENSE)\n\n[![PyPi Version](https://img.shields.io/pypi/v/CombCov.svg)](https://pypi.org/project/CombCov/)\n[![PyPi Downloads](https://img.shields.io/pypi/dm/CombCov.svg)](https://pypi.org/project/CombCov/)\n[![Python Implementation](https://img.shields.io/pypi/implementation/CombCov.svg)](https://pypi.org/project/CombCov/)\n[![Python Versions](https://img.shields.io/pypi/pyversions/CombCov.svg)](https://pypi.org/project/CombCov/)\n\nA generalization of the permutation-specific algorithm [Struct](https://github.com/PermutaTriangle/PermStruct) -- \nextended for other types of combinatorial objects.\n\n\n## Demos\n\nTake a look at the `demo/` folder in this repo to see examples on how to use\n`CombCov` with your own combinatorial object. On example finds a _Word Set_\ncover for the set of words over the alphabet `{a,b}` that avoids the subword\n`aa` (meaning no words in the set contains `aa` as a subword).\n\n```bash\n$ python -m demo.word_set\n[INFO] (CombCov) Enumerating all elements of size up to 7...\n[INFO] (CombCov) ...DONE enumerating elements! (Running time: 0.00 sec)\n[INFO] (CombCov) Total of 87 elements.\n[INFO] (CombCov) Enumeration: [1, 2, 3, 5, 8, 13, 21, 34]\n[INFO] (CombCov) Creating binary strings and rules...\n[INFO] (CombCov) Bitstring to cover: 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 \n[INFO] (WordSet) Generated 16 subrules\n[INFO] (CombCov) ...DONE creating binary strings and rules! (Running time: 0.00 sec)\n[INFO] (CombCov) Total of 14 valid rules with 14 distinct binary strings.\n[INFO] (CombCov) Searching for a cover for ''*Av(aa) over ∑={a,b}...\n[INFO] (CombCov) Gurobi installed on system and set as solver\n[INFO] (CombCov) ...DONE searching for a cover! (Running time: 0.02 sec)\nSolution found!\n - Rule #1 with bitstring 000000000000000000000000000000000000000000000000000000000000000000000000000000000000001: ''*Av(a,b) over ∑={a,b}\n - Rule #2 with bitstring 000000000000000000000000000000000000000000000000000000000000000000000000000000000000010: 'a'*Av(a,b) over ∑={a,b}\n - Rule #3 with bitstring 111111111111111111111000000000000011111111111110000000011111111000001111100011100110100: 'b'*Av(aa) over ∑={a,b}\n - Rule #4 with bitstring 000000000000000000000111111111111100000000000001111111100000000111110000011100011001000: 'ab'*Av(aa) over ∑={a,b}\n\n```\n\n\n## Development\n\nRun unittests (with coverage for the `demo` module as well):\n\n```bash\n./setup.py test --addopts --cov=demo\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpermutatriangle%2Fcombcov","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpermutatriangle%2Fcombcov","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpermutatriangle%2Fcombcov/lists"}