Using a Cyc Image in Windows
- by nrhine1
Hi, I am trying to use a Microtheory for a research project I am working on, and am having trouble getting my saved Image of constants I create to work correctly. I save the image after creating the constants using
(write-image "world\MyImage")
and then going to the \server\run\ directory and using
run-cyc-32bit.bat -w "world\MyImage"
It loads the server correctly, but not with my constants. I found the above command at the reference page
here.
Thank you for any help