ESPCAD Function List

PCAD2ESPCAD

PCAD2ESPCAD.c This function converts a PCAD to an ESPCAD.

ESPCADWRITE

ESPCADWRITE.c This function prints an ESPCAD to standard out.

ESPCADCRNV

ESPCADCRNV.c Returns the "root number vector" for an ESPCAD cell.

ESPCADLSNC

ESPCADLSNC.c Returns a list of strong necessary conditions.