diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2021-06-09 12:33:41 +0200 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2021-06-09 12:33:41 +0200 |
| commit | a734face3a200a6704342e61466ca85fc0c732b0 (patch) | |
| tree | 6a3e2d05816d67d44c972c74e577dd3b14cde305 /manual/CHAPTER_Auxlibs.tex | |
| parent | 0ada13cbe2f8e3c8568bc7e6731be9edb4c46e47 (diff) | |
| download | yosys-a734face3a200a6704342e61466ca85fc0c732b0.tar.gz yosys-a734face3a200a6704342e61466ca85fc0c732b0.tar.bz2 yosys-a734face3a200a6704342e61466ca85fc0c732b0.zip | |
More deadname stuff
Diffstat (limited to 'manual/CHAPTER_Auxlibs.tex')
| -rw-r--r-- | manual/CHAPTER_Auxlibs.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/CHAPTER_Auxlibs.tex b/manual/CHAPTER_Auxlibs.tex index 440ea1375..b3041078f 100644 --- a/manual/CHAPTER_Auxlibs.tex +++ b/manual/CHAPTER_Auxlibs.tex @@ -22,7 +22,7 @@ ConstEval} class provided in {\tt kernel/consteval.h}. \label{sec:SubCircuit} The files in {\tt libs/subcircuit} provide a library for solving the subcircuit -isomorphism problem. It is written by Clifford Wolf and based on the Ullmann +isomorphism problem. It is written by C. Wolf and based on the Ullmann Subgraph Isomorphism Algorithm \cite{UllmannSubgraphIsomorphism}. It is used by the {\tt extract} pass (see {\tt help extract} or Sec.~\ref{cmd:extract}). @@ -30,6 +30,6 @@ the {\tt extract} pass (see {\tt help extract} or Sec.~\ref{cmd:extract}). The files in {\tt libs/ezsat} provide a library for simplifying generating CNF formulas for SAT solvers. It also contains bindings of MiniSAT. The ezSAT -library is written by Clifford Wolf. It is used by the {\tt sat} pass (see +library is written by C. Wolf. It is used by the {\tt sat} pass (see {\tt help sat} or Sec.~\ref{cmd:sat}). |