All source code is available at: http://www.cs.ucsb.edu/~cs165a/software.html
I'm trying to compile http://www.cs.ucsb.edu/~cs165a/Softw...c/CNFDemo.html
Files I'm using (all available in the zip file):
lex.yy.cpp (commented out #include <unistd.h> because the file is blank anyway)
I'm having a lot of trouble getting the program to run. So far I've figured out it's because of the #line funny business going on in y.tab.cpp. It runs up to a certain point and then just quits unexpectedly (Visual Studio says "there is no source code for the following line). So I commented out a lot of that stuff and now it runs a bit farther. But it still just stops randomly.
Can anyone get this program to compile?