flamapy-dnnf 2.6.0.dev12__tar.gz → 2.9.0.dev0__tar.gz

{flamapy_dnnf-2.6.0.dev12 → flamapy_dnnf-2.9.0.dev0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: flamapy-dnnf
-Version: 2.6.0.dev12
+Version: 2.9.0.dev0
 Summary: flamapy-dnnf is a plugin to flamapy providing exact analysis of feature models via d-DNNF knowledge compilation with the d4 compiler
 Author-email: Flamapy <flamapy@us.es>
 License-Expression: GPL-3.0-or-later
@@ -8,8 +8,8 @@ Project-URL: Homepage, https://github.com/flamapy/dnnf_metamodel
 Requires-Python: >=3.11
 Description-Content-Type: text/markdown
 License-File: LICENSE
-Requires-Dist: flamapy-fw~=2.6.0.dev12
-Requires-Dist: flamapy-fm~=2.6.0.dev12
+Requires-Dist: flamapy-fw~=2.9.0.dev0
+Requires-Dist: flamapy-fm~=2.9.0.dev0
 Provides-Extra: dev
 Requires-Dist: pytest; extra == "dev"
 Requires-Dist: pytest-mock; extra == "dev"

flamapy_dnnf-2.9.0.dev0/flamapy/metamodels/dnnf_metamodel/__init__.py

@@ -0,0 +1,35 @@
+from flamapy.core.exceptions import FlamaException
+from flamapy.core.manifest import PluginManifest, OperationCapability
+from flamapy.core.models.language_level import LanguageLevel, MajorLevel, MinorLevel
+from flamapy.metamodels.dnnf_metamodel.models.dnnf_model import locate_d4
+
+# d-DNNF compilation scales further than BDDs for counting. The cost is a placeholder: the
+# 2026-11-06 calibration machine had no d4, so this plugin is the one without measured curves.
+# It declares no ``calibration``, so the planner only picks it when no calibrated plugin can
+# run the operation.
+# d4 is a native binary with no PyPI distribution (see models.locate_d4): without it the
+# operations fail (the transformation, which only writes the DIMACS file, still runs), so the
+# manifest declares the plugin unavailable and the planner never routes to it. The check runs
+# once, when the plugin is imported: set FLAMAPY_D4_PATH before that.
+
+
+def _d4_available() -> bool:
+    try:
+        locate_d4()
+    except FlamaException:
+        return False
+    return True
+
+
+_D4_AVAILABLE = _d4_available()
+
+MANIFEST = PluginManifest(
+    name='dnnf',
+    extension='dnnf',
+    available=_D4_AVAILABLE,
+    unavailable_reason='the d4 compiler is not installed (set FLAMAPY_D4_PATH or put d4 on PATH)',
+    supported_level=LanguageLevel(MajorLevel.BOOLEAN, {MinorLevel.GROUP_CARDINALITY}),
+    operations={
+        'configurations_number': OperationCapability(cost=80),
+    },
+)

{flamapy_dnnf-2.6.0.dev12 → flamapy_dnnf-2.9.0.dev0}/flamapy/metamodels/dnnf_metamodel/models/dnnf_model.py

@@ -14,9 +14,10 @@ def locate_d4() -> str:
     installed separately.
     """
     candidate = os.environ.get('FLAMAPY_D4_PATH') or shutil.which('d4')
-    if not candidate or not os.path.exists(candidate):
+    if not candidate or not os.path.isfile(candidate) or not os.access(candidate, os.X_OK):
         raise FlamaException(
-            'The d4 compiler was not found. Install d4 (https://github.com/crillab/d4) and '
+            'The d4 compiler was not found (or is not executable). Install d4 '
+            '(https://github.com/crillab/d4) and '
             'expose it as "d4" on PATH or via the FLAMAPY_D4_PATH environment variable.'
         )
     return candidate

{flamapy_dnnf-2.6.0.dev12 → flamapy_dnnf-2.9.0.dev0}/flamapy/metamodels/dnnf_metamodel/transformations/fm_to_dnnf.py

@@ -3,7 +3,7 @@ import subprocess
 import tempfile
 
 from flamapy.core.transformations import ModelToModel
-from flamapy.metamodels.fm_metamodel.models import FeatureModel, ClauseSet
+from flamapy.metamodels.fm_metamodel.models import ClauseSet, DEFAULT_CNF_METHOD, FeatureModel
 from flamapy.metamodels.dnnf_metamodel.models import DDNNFModel, locate_d4
 
 
@@ -26,7 +26,7 @@ class FmToDDNNF(ModelToModel):
     def __init__(
         self,
         source_model: FeatureModel,
-        cnf_method: str = 'distributive',
+        cnf_method: str = DEFAULT_CNF_METHOD,
         compile: bool = False,
     ) -> None:
         self.source_model = source_model

{flamapy_dnnf-2.6.0.dev12 → flamapy_dnnf-2.9.0.dev0}/flamapy_dnnf.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: flamapy-dnnf
-Version: 2.6.0.dev12
+Version: 2.9.0.dev0
 Summary: flamapy-dnnf is a plugin to flamapy providing exact analysis of feature models via d-DNNF knowledge compilation with the d4 compiler
 Author-email: Flamapy <flamapy@us.es>
 License-Expression: GPL-3.0-or-later
@@ -8,8 +8,8 @@ Project-URL: Homepage, https://github.com/flamapy/dnnf_metamodel
 Requires-Python: >=3.11
 Description-Content-Type: text/markdown
 License-File: LICENSE
-Requires-Dist: flamapy-fw~=2.6.0.dev12
-Requires-Dist: flamapy-fm~=2.6.0.dev12
+Requires-Dist: flamapy-fw~=2.9.0.dev0
+Requires-Dist: flamapy-fm~=2.9.0.dev0
 Provides-Extra: dev
 Requires-Dist: pytest; extra == "dev"
 Requires-Dist: pytest-mock; extra == "dev"

{flamapy_dnnf-2.6.0.dev12 → flamapy_dnnf-2.9.0.dev0}/flamapy_dnnf.egg-info/SOURCES.txt

@@ -14,6 +14,7 @@ flamapy/metamodels/dnnf_metamodel/transformations/fm_to_dnnf.py
 flamapy_dnnf.egg-info/PKG-INFO
 flamapy_dnnf.egg-info/SOURCES.txt
 flamapy_dnnf.egg-info/dependency_links.txt
+flamapy_dnnf.egg-info/entry_points.txt
 flamapy_dnnf.egg-info/requires.txt
 flamapy_dnnf.egg-info/top_level.txt
 tests/test_dnnf.py

flamapy_dnnf-2.9.0.dev0/flamapy_dnnf.egg-info/entry_points.txt

@@ -0,0 +1,2 @@
+[flamapy.plugins]
+dnnf = flamapy.metamodels.dnnf_metamodel

{flamapy_dnnf-2.6.0.dev12 → flamapy_dnnf-2.9.0.dev0}/flamapy_dnnf.egg-info/requires.txt

@@ -1,5 +1,5 @@
-flamapy-fw~=2.6.0.dev12
-flamapy-fm~=2.6.0.dev12
+flamapy-fw~=2.9.0.dev0
+flamapy-fm~=2.9.0.dev0
 
 [dev]
 pytest

{flamapy_dnnf-2.6.0.dev12 → flamapy_dnnf-2.9.0.dev0}/pyproject.toml

@@ -4,15 +4,15 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "flamapy-dnnf"
-version = "2.6.0.dev12"
+version = "2.9.0.dev0"
 description = "flamapy-dnnf is a plugin to flamapy providing exact analysis of feature models via d-DNNF knowledge compilation with the d4 compiler"
 readme = "README.md"
 license = "GPL-3.0-or-later"
 authors = [{ name = "Flamapy", email = "flamapy@us.es" }]
 requires-python = ">=3.11"
 dependencies = [
-    "flamapy-fw~=2.6.0.dev12",
-    "flamapy-fm~=2.6.0.dev12",
+    "flamapy-fw~=2.9.0.dev0",
+    "flamapy-fm~=2.9.0.dev0",
 ]
 
 [project.optional-dependencies]
@@ -24,6 +24,9 @@ dev = [
     "coverage",
 ]
 
+[project.entry-points."flamapy.plugins"]
+dnnf = "flamapy.metamodels.dnnf_metamodel"
+
 [project.urls]
 Homepage = "https://github.com/flamapy/dnnf_metamodel"
 

{flamapy_dnnf-2.6.0.dev12 → flamapy_dnnf-2.9.0.dev0}/tests/test_dnnf.py

@@ -82,3 +82,66 @@ def test_transformation_writes_dimacs():
         header = dimacs.readline()
     assert header.startswith('p cnf ')
     assert model.var_count >= 5  # Root, Base, A, B, C
+
+
+_TSEYTIN_UVL = """features
+    Root {abstract}
+        optional
+            A
+            B
+            C
+            D
+            E
+            F
+constraints
+    (A & B & C) | (D & E & F) | (B & E & F)
+"""
+
+# [1..2] over A, B, C (3 + 3 selections) times D optional: 12 configurations.
+_GROUP_UVL = """features
+    Root {abstract}
+        [1..2]
+            A
+            B
+            C
+        optional
+            D
+"""
+
+
+def test_tseytin_adds_variables_to_the_dimacs():
+    """Without d4: the 'auto'/'tseytin' CNF written for d4 holds the auxiliary variables."""
+    fm = _fm(_TSEYTIN_UVL)
+    plain = FmToDDNNF(fm, cnf_method='distributive').transform()
+    gated = FmToDDNNF(fm, cnf_method='tseytin').transform()
+    assert gated.var_count > plain.var_count == 7  # Root and A-F
+
+
+@requires_d4
+def test_cnf_methods_agree():
+    fm = _fm(_TSEYTIN_UVL)
+    exact = _exact_count(fm)
+    for method in ('distributive', 'tseytin', 'auto'):
+        model = FmToDDNNF(fm, cnf_method=method).transform()
+        assert DDNNFConfigurationsNumber().execute(model).get_result() == exact, method
+
+
+@requires_d4
+def test_group_cardinality():
+    model = FmToDDNNF(_fm(_GROUP_UVL)).transform()
+    assert DDNNFConfigurationsNumber().execute(model).get_result() == 12
+
+
+def test_availability_follows_locate_d4(monkeypatch, tmp_path):
+    import importlib  # noqa: PLC0415
+    import flamapy.metamodels.dnnf_metamodel as plugin  # noqa: PLC0415
+    monkeypatch.setenv('FLAMAPY_D4_PATH', str(tmp_path / 'missing-d4'))
+    monkeypatch.setattr(shutil, 'which', lambda _name: None)
+    assert importlib.reload(plugin).MANIFEST.available is False
+    fake = tmp_path / 'd4'
+    fake.write_text('#!/bin/sh\n')
+    fake.chmod(0o755)
+    monkeypatch.setenv('FLAMAPY_D4_PATH', str(fake))
+    assert importlib.reload(plugin).MANIFEST.available is True
+    monkeypatch.undo()
+    importlib.reload(plugin)