problem-set/circuits/README
created: 09/02/86
revised: 07/15/88
 
Contents of 'circuits':
---------------------- 

Main File Headings 
------------------------------------------------------------------------

README                  : You are currently in this file.
 
design_or               : To design an OR-gate from NAND-gates.

interchange             : To design a circuit which interchanges the
			  given inputs.

intchg_val              : The ciruit validation of circuit which 
			  interchanges the inputs.

two_inverter            : To design a specific ciruit using only two
			  NOT-gates, and any number of AND-gates and
			  OR-gates.

two_inverter_val        : The circuit validation of the circuit
			  described by the two_inverter problem.      

------------------------------------------------------------------------

For each problem, there are several standard files, which include one
probname.desc file and at least one of each of probname.ver#.in,
probname.ver#.clauses, and probname.ver#.out.  These contain the
following: 

probname.desc : contains the Natural Language Description of the
	problem, where available, credits for problem formulation, 
	and complete details on each formulation and each version.  

probname.ver#.in : contains the problem specification, input clauses, and
	strategy for OTTER; this file is ready to run.

probname.ver#.clauses : contains the description, commentary, and the
	actual clauses (including the denial of the conclusion) used for
	probname.ver#.in, without any strategy; note that comments always are 
	on lines beginning with a %, preceding the clauses to which they
	refer, and that clauses terminate with periods.

probname.ver#.out : contains the output from running probname.ver#.in
	with OTTER, with proof if one is found, and with statistics on 
	the clauses generated and CPU time used.


HOW TO RUN :
----------------------------------------------------------------------

Invoke OTTER by using the following command :

	otter < probname.ver#.in    [ > outfile ]   [ & ]

NOTE : '> outfile' may be used to send all output to a file named outfile;
	'&' may be used to run the program in the background.