Skip to content

Convert CNF to Hypergraph #4

Open
Open
Convert CNF to Hypergraph#4
Labels
enhancementNew feature or request

Description

@haz
haz
opened on Apr 4, 2020

It would be good to have the chance to do basic graph queries on the clausal graph of the cnf theory. Either networkx or python-graph would work.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions