improve compatibility with mpbn

bnediction · Aug 29, 2023 · 249a793 · 249a793
1 parent 3136e2c
commit 249a793
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/bonesis/asp_encoding.py b/bonesis/asp_encoding.py
@@ -170,7 +170,7 @@ def encode_domain_BooleanNetworksEnsemble(self, bns):
 
     def encode_domain_BooleanNetwork(self, bn):
         self.ba = bn.ba
-        return [bn.asp_of_bn() + "\n" +
+        return [bn.asp_of_bn(encoding="dnf-bdd") + "\n" +
                 str(asp.Function("nbnode", symbols(len(bn))))]
 
     def encode_domain_InfluenceGraph(self, pkn):

diff --git a/conda/meta.yaml b/conda/meta.yaml
@@ -22,7 +22,7 @@ requirements:
     - boolean.py
     - clingo >=5.5
     - colomoto_jupyter
-    - mpbn >=1.7
+    - mpbn >=3.3
     - networkx
     - numpy
     - pandas

diff --git a/setup.py b/setup.py
@@ -12,7 +12,7 @@
         "boolean.py",
         "clingo>=5.5",
         "colomoto_jupyter",
-        "mpbn>=1.7",
+        "mpbn>=3.3",
         "networkx",
         "numpy",
         "pandas",