ttcnf -- Generate truth tables for CNF expressions of 1 to 5 variables

    ttcnf 2014.1 2014/01/26
    http://www.qhull.org/ttcnf
    bradb@shore.net

Update

Copyright 2004-2014 by C. Bradford Barber
This is open source software to be freely used and modified.
Please retain this notice.

ttcnf requires Windows XP, 2000, or NT.  For documentation, run ttcnf without
arguments.  See eg/ttcnf-all.txt for a sample input file.

Running ttcnf with five variables requires a gigabyte of real memory.  
A 2 GByte computer is recommended.

The output of ttcnf is a list of comma-separated values (CSV).  View the output
with Excel and set Window->Freeze Panes just below the header line.

Compiling ttcnf requires a C compiler and MASM assembler.  A DevStudio 
project is included.

Set-up MASM
1) Locate MASM 8.2 or better.   Do not use the version bundled with DevStudio 2005
2) Install as C:\masm32
3) Add C:\masm32\bin to the DevStudio PATH as follows
3a) In c:\Program Files\Microsoft Visual Studio 8\Common7\Tools\vsvars32.bat
    Update the PATH variable
3b) Or, update the System's PATH variable and reload devstudio

Files:
  ./index.htm			-- ttcnf home page
  ./TTCNF-GO			-- Launch a command shell for running ttcnf
  ./TTCNF-README.txt		-- This file
  ./ttcnf.exe			-- ttcnf program
  ./devstudio-ttcnf.sln		-- DevStudio solution for building ttcnf
  ./eg/ttcnf-all.txt		-- input file for ttcnf
  ./eg/ttcnf.csv		-- Results of a ttcnf run
  ./eg/Ttcnf-3-new.jpg		-- Log graph of new truth tables for 3-CNF
  ./eg/ttcnf-go.bat		-- batch file for a command shell
  ./eg/ttcnf-graphs.pzf		-- GraphPad data and results
  ./eg/Ttcnf-k-new.jpg		-- Log graph of new truth tables for k-CNF
  ./eg/ttcnf-results.xls	-- ttcnf results and curve fits
  ./eg/Ttcnf-3-new.gif		-- thumb nail of Ttcnf-3_New_graph.jpg
  ./src/ttcnf.c			-- C program for ttcnf
  ./src/ttcnf.vcproj		-- DevStudio project for ttcnf
  ./src/tt_all.sym		-- MASM assembly files for ttcnf
  ./src/zbitcnt.asm
  ./src/ztt4clau.asm
  ./src/ztt4cnf.asm
  ./src/ztt4cnf0.asm
  ./src/ztt4cnt.asm
  ./src/ztt8high.asm
  ./src/ztt8setb.asm