Open
Description
The attached environment.yml file provides the version-aligned dependencies with the version alignment solver:
$ mamba env create -f environment.yml
$ mamba activate deepdistilling
Modifications to the dependencies can be version aligned without specifying version numbers with the solver:
$ mamba env update --file environment.yml --prune
I also had to modify the following program:
$ diff --git a/src/distill_maxsat.py b/src/distill_maxsat.py
index a9197c5..6b906ed 100644
--- a/src/distill_maxsat.py
+++ b/src/distill_maxsat.py
@@ -27,7 +27,8 @@ def main() -> None:
print()
print("\nTesting generalized distilled code (pre-condensed) on random Boolean formulae")
- from src.general_maxsat import ENN_maxsat
+# from src.general_maxsat import ENN_maxsat
+ from general_maxsat import ENN_maxsat
def add_input_size(func, input_dims):
def wrapper(x):
Metadata
Metadata
Assignees
Labels
No labels