[cvs-nhc98] patch applied (hat): modified getProjValue() to work on SATs.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:07:45 EDT 2006


Thu Sep 20 08:09:19 PDT 2001  thorsten
  * modified getProjValue() to work on SATs.

    M ./src/hattools/FunTable.c -1 +1
    M ./src/hattools/hatinterface.c -1 +2


More information about the Cvs-nhc98 mailing list