Re: Z3 dependency

[Mike Rovner]

Please provide more context. What is Z3? What does the log says about it exactly and during which command?

On Mon, Oct 2, 2017 at 3:59 AM, Christian <chris...@beethedata.com> wrote:

What's the difference between using clif with or without Z3? In the installation script it says it cannot find it, but installs anyway.

I reinstalled clif with Z3 installed on my machine, but not sure what effect it has overall.

--
You received this message because you are subscribed to the Google Groups "pyclif" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pyclif+unsubscribe@googlegroups.com.
To post to this group, send email to pyc...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/pyclif/3f5f109b-3bdb-4093-baab-1b8d9600c08b%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

Thanks,
--Mike