CSCI 355 Espresso Overview and Usage
====================================

Taken from UMAS Amherst
-----------------------

Usage:	
	espresso input_file > result_file

Example of input file:

    # Example: majority function - in espresso format
    # It is just a truth table, with input/output declarations
    # .i specifies the number of inputs
    # .o specifies the number of outputs
    # .p gives the number of product terms (optional) 
    .i 3
    .o 1
    0 0 0  0
    0 0 1  0
    0 1 0  0
    0 1 1  1
    1 0 0  0
    1 0 1  1
    1 1 0  1
    1 1 1  1
    .end

Obviously you can specify as many outputs as you want, the 
above example is just for one output. No particular spacing
between input/output variables is required.

The result of running espresso (as you would expect) is:

   # Example: majority function - in espresso format
   # It is just a truth table, with input/output declarations
   # .i specifies the number of inputs
   # .o specifies the number of outputs
   # .p gives the number of product terms (optional) 
   .i 3
   .o 1
   .p 3
   11- 1
   1-1 1
   -11 1
   .e

Notice how espresso declares the number of minimized product 
terms (3 from 8 originally declared).

Note (added by PW)
=================

For formatted output use espresso -o eqntott