I am having some hard time getting the Boogie and Z3 to install on Windows 7 with Z3 version 4.3.2 from codeplex.
I've tried to install it like spec# by register.cmd command in prompt, but it doesnt work.
Can anyone tell me how to do it ?
Boogie does not support Z3 version 4.3. You need version 4.1 (see the Installation page on boogie.codeplex.com, which I just updated).
By the way, the register.cmd thing was purely a Spec# thing.
Related
Are there any special reasons why Cygwin Clang is so outdated (see here), version 8, while already version 13 exists?
For example Ubuntu (apt), MSYS2, MSVC all have version 12.
Also does anyone know (any links?) if there is any very simple way (like docker-based) to build recent Clang for Cygwin? Maybe Clang has no support for Cygwin anymore, that's why Cygwin has outdated version?
See:
https://cygwin.com/packages/summary/clang.html
The reason is very simple, there is no current maintainer.
The previous one has no more available time to dedicate to the project.
Hello,
I have been using Lua 5.1.2 since I begun learning Lua, and I wanted to upgrade to a more recent version, but there aren't any tutorial on how to do it, and I never did something similar. I downloaded the Lua 5.4.0 binaries, but I don't know how to install LuaRocks, which is really useful. (I don't know if this information is useful, but I'm using Windows 7)
Thank you.
so you got 5.4.0 installed?
https://github.com/luarocks/luarocks/wiki/Download
you probably want the 64-bit version of LuaRocks
if it complains, try the 32-bit instead.
just guessing, because most processors are 64-bit these days - unless it's something like a Raspberry Pi, but then you wouldn't be on Win7...
I've googled for a solution, and based on that, let me report a few details:
I've tried 32-bit PyScripter-v2.6.0-Setup.exe with 32-bit python-3.6.1.exe; and 64-bit PyScripter-v2.6.0-x64-Setup.exe with 64-bit python-3.6.1-amd64-webinstall.exe.
I'm on a 64-bit Windows 10 machine.
I uninstalled other versions of Python on the machine.
Tried unzipping rpyc in the \Lib\ folder, as someone suggested that here.
What else should I be looking at?
Here is a tested Solution
Remove old PyScripter
Install Python from Python website. I installed mine from:
http://www.python.org/ftp/python/3.3.2/python-3.3.2.amd64.msi (and it worked)
Now install PyScripter-v2.6.0-x64-Setup.exe from https://sourceforge.net/projects/pyscripter/files/
This should solve the problem.
I got this solution from https: //github.com/pyscripter/pyscripter/issues/715
You are using an old version of Pyscripter. Version 3.4 from https://sourceforge.net/projects/pyscripter/ provides support for all released python versions, virtual environments, conda distibutions and the ability to switch between them without exiting Pyscripter.
I am having some hard time getting the Z3 Python frontend to work on Windows 7 with Z3 version 4.3.0 from codeplex. The older version 4.1.2 that was distributed as an MSI file works fine on my Windows 7.
First, I cannot use the source code from codeplex to build Z3 because I don't have Visual studio Command Prompt (do I really need it?). So I download the binary file 32 bit version and add that directory to my PYTHONPATH. This allows me to do import z3 , but I cannot use it any further because of the error Z3Exception: 'init(Z3_LIBRARY_PATH) must be invoked before using Z3-python' . The file z3.dll is not included in the download file.
I have no problem setting Z3 v4.3 on my Mac or Linux.
Visual Studio Express should be enough to compile Z3 and is available for free from Microsoft, here. However, it's not a requirement that Z3 be compiled from scratch to use Z3Py.
Starting with version 4.3.0, the DLL is now called libz3.dll and I just verified that it is indeed included in the download from Codeplex and it executes fine when I add it to PYTHONPATH. I can imagine that what went wrong in your case is that you added the directory C:...\z3-4.3.0-x86 to PYTHONPATH, while it is necessary that C:...\z3-4.3.0-x86\bin be added (note the \bin in the end).
I have a problem installing sikuli on fedora 16 its a 64 bits architecture, my main problem comes with the compilation of opencv, sikuli requires the 2.1 version of opencv and in the cmake step it tells me it can not find some libraries. I have tried installing the libraries and creating symbolic links but it still will not work, does anybody knows a good tutorial or some good ideas to solve my problem?
I'd recommend you to raise a question on Sikuli bug tracker https://answers.launchpad.net/sikuli because it's quicker to get the response from developers there.
Here is a question similar to your issue: https://answers.launchpad.net/sikuli/+question/198796