add support for d4v2 #5

New issue

Copy link

New issue

Copy link

Closed

#23

Closed

add support for d4v2#5

#23

Copy link

Labels

enhancementNew feature or requestNew feature or request

Description

IbrahimElk

opened on Mar 13, 2026

Issue body actions

• d4v2 compiler is a top-down CNF to d‑DNNF compiler.

Reactions are currently unavailable

Metadata

Metadata

Assignees

No one assigned

Labels

enhancementNew feature or requestNew feature or request

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions