add ubuntu package to INSTALL
[snark14.git] / tools / Input /
drwxr-xr-x   ..
-rw-r--r-- 22 .gitignore
-rw-r--r-- 5586 Makefile
-rw-r--r-- 4399 QPL
-rw-r--r-- 23598 SnarkInput.cpp
-rw-r--r-- 1781 SnarkInput.h
-rw-r--r-- 8239 basis.cpp
-rw-r--r-- 1218 basis.h
-rw-r--r-- 95277 create.cpp
-rw-r--r-- 7898 create.h
-rw-r--r-- 5835 display.cpp
-rw-r--r-- 1389 display.h
-rw-r--r-- 12840 evaluate.cpp
-rw-r--r-- 1580 evaluate.h
-rw-r--r-- 18181 execute.cpp
-rw-r--r-- 1758 execute.h
-rw-r--r-- 3069 experiment.cpp
-rw-r--r-- 836 experiment.h
-rw-r--r-- 122842 icons.h
-rw-r--r-- 8670 lines.cpp
-rw-r--r-- 1216 lines.h
-rw-r--r-- 5510 misc.cpp
-rw-r--r-- 380 misc.h
-rw-r--r-- 6571 mode.cpp
-rw-r--r-- 1063 mode.h
-rw-r--r-- 7513 picture.cpp
-rw-r--r-- 1157 picture.h
-rw-r--r-- 47981 projection.cpp
-rw-r--r-- 4890 projection.h
-rw-r--r-- 4210 punch.cpp
-rw-r--r-- 1326 punch.h
-rw-r--r-- 12150 select.cpp
-rw-r--r-- 1325 select.h
-rw-r--r-- 9713 skunk.cpp
-rw-r--r-- 1774 skunk.h
-rw-r--r-- 10302 stop.cpp
-rw-r--r-- 1380 stop.h
-rw-r--r-- 7214 super.cpp
-rw-r--r-- 982 super.h
-rw-r--r-- 4345 trace.cpp
-rw-r--r-- 1190 trace.h
-rw-r--r-- 415 variables.h