-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
feat(graph-iso): prove the structured search by one policy-parameterized recursion (Fable)
blockedpod coordinationpod coordinationdirectivepod coordinationpod coordinationStatus: Open.#10043 In kim-em/hex-dev;feat(graph-iso): uniform cheapautom theory (Fable)
blockedpod coordinationpod coordinationdirectivepod coordinationpod coordinationStatus: Open.#10042 In kim-em/hex-dev;feat(graph-iso): the structured search engine (spike, Fable)
blockedpod coordinationpod coordinationdirectivepod coordinationpod coordinationStatus: Open.#10041 In kim-em/hex-dev;docs(graph-iso): SPEC, README and umbrella for the library as it stands
claimedpod coordinationpod coordinationdirectivepod coordinationpod coordinationStatus: Open.#10039 In kim-em/hex-dev;docs(graph-iso): content-only docstrings for the rest of the library
claimedpod coordinationpod coordinationdirectivepod coordinationpod coordinationStatus: Open.#10038 In kim-em/hex-dev;docs(graph-iso): content-only docstrings for the small-cell and equitable theories
claimedpod coordinationpod coordinationdirectivepod coordinationpod coordinationStatus: Open.#10037 In kim-em/hex-dev;docs(graph-iso): content-only docstrings for the correctness proof
claimedpod coordinationpod coordinationdirectivepod coordinationpod coordinationStatus: Open.#10036 In kim-em/hex-dev;refactor(graph-iso): API names
claimedpod coordinationpod coordinationdirectivepod coordinationpod coordinationStatus: Open.#10035 In kim-em/hex-dev;directive: release the Fable work on hex-graph-iso (not before Tuesday 2026-09-08 14:00 AEST)
blockedpod coordinationpod coordinationdirectivepod coordinationpod coordinationStatus: Open.#10027 In kim-em/hex-dev;chore(nauty-ffi): expose automorphism generators, orbits and group order
agent-planpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#10025 In kim-em/hex-dev;feat(graph-iso): a tactic for automorphism and group-order goals
agent-planpod coordinationpod coordinationblockedpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#10024 In kim-em/hex-dev;feat(graph-iso): prove the automorphism generators generate the whole group
agent-planpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#10023 In kim-em/hex-dev;