Getting examples.ipynb to run

[jabowery]

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):

environment.yml.txt