-
Notifications
You must be signed in to change notification settings - Fork 5
Closed
Labels
enhancementNew feature or requestNew feature or request
Description
After consulting with @jmafoster1 we've agreed that the following directories/scripts in the codebase are redundant and will be removed:
data_collector.py
in the/data_collection
directory, which includes theDataCollector
class and its daughter classesExperimentalDataCollector
andObservationalDataCollector
.enum_gen.py
andabstract_causal_test_case.py
in the/generation
directory contain theAbstractCausalTestCase
class and theEnumGen
.- All aspects of the
z3
package will be removed and deprecated in future versions.
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request