Issue for testing

[BowenKwan]

I have been trying to run the DLV with the provided neural network. However, I have the following problems.

1. When I was running the code, I encountered the error
   AttributeError: 'module' object has no attribute 'SIFT'
   I think the attribute SIFT is no longer available in the cv2 module, so I am wondering if there is any way I can still use the DLV.

2. I have also tried the older version of DLV from xiaoweih/DLV. When I was trying with CIFAR-10 examples, I have encountered the following error in the conv_region_solve.py
   s = Tactic('lra').solver()
NameError: global name 'Tactic' is not defined
   I am not entirely sure what the problem is. maybe it is related to z3 module? Do you have any idea how can I get the DLV working?

In general, I am trying to find adversarial perturbations for images. Is the DLV_MCTS the latest and the best tool that I should use? or is there any other tool that you would recommend?

Thank you very much for your help.