.\" /*
.\"  * Revision Control Information
.\"  *
.\"  * $Source: /vol/opua/opua2/sis/sis-1.1/common/src/sis/sis_lib/help/RCS/xl_ao.1,v $
.\"  * $Author: sis $
.\"  * $Revision: 1.2 $
.\"  * $Date: 1992/05/06 19:04:01 $
.\"  *
.\"
.XX
xl_ao [-n support] 
.PP
Uses a cube-packing heuristic to do an AND-OR decomposition of an infeasible network.
This is fast and the result is a feasible network.
.PP
\fB-n\fP: support is the size of the TLU block (default = 5)
