Building ProB on Windows: Difference between revisions - ProB Documentation

Help

Building ProB on Windows: Difference between revisions

Newer edit →
Created page with 'In case that you want to compile ProB from Source on Windows, here are some information about the setup: Required: # Sicstus (4.1.3) # Visual Studio 2005 # Cygwin & svn'
(No difference)

Revision as of 12:42, 14 February 2011

In case that you want to compile ProB from Source on Windows, here are some information about the setup:

Required:

  1. Sicstus (4.1.3)
  2. Visual Studio 2005
  3. Cygwin & svn
Retrieved from "https://prob.hhu.de/w/index.php?title=Building_ProB_on_Windows&oldid=823"