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

    ttcnf 2005.1 2005/04/03
    http://www.qhull.org/ttcnf
    bradb@shore.net

Copyright 2004-2005 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.

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-3-new.jpg		-- Log graph of new truth tables for 3-CNF
  ./eg/ttcnf-all.txt		-- input file for ttcnf
  ./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