Closed xtrojak closed 2 years ago
Conda env file needs to be minimised and resolved.
This, among other things, might require publishing pyModelChecking to conda.
This was done here.
Conda env file needs to be minimised and resolved.