Refactor(Typo): Link is NOT FOUND page(not available), change to the book name

This commit is contained in:
wjrforcyber 2023-09-24 19:31:37 +08:00
parent eae19f7a62
commit 3781c1df61
1 changed files with 1 additions and 2 deletions

View File

@ -9343,8 +9343,7 @@ usage:
Abc_Print( -2, "\t synthesizes the smallest circuit composed of two-input gates\n" );
Abc_Print( -2, "\t for the only NPN class of 5-input functions that requires 12 gates;\n" );
Abc_Print( -2, "\t all other functions can be realized with 11 two-input gates or less\n" );
Abc_Print( -2, "\t (see Section 7.1.2 \"Boolean evaluation\" in the book by Donald Knuth\n" );
Abc_Print( -2, "\t http://www.cs.utsa.edu/~wagner/knuth/fasc0c.pdf)\n" );
Abc_Print( -2, "\t (see Section 7.1.2 \"Boolean evaluation\" in the book The Art of Computer Programming by Donald Knuth)\n" );
return 1;
}