From 5e7a802b2c796d991e5774ce0a2fd18b7c74a3d6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=BD=98=E9=B8=BF=E6=B4=8B?= <74575924+panhongyang0@users.noreply.github.com> Date: Wed, 21 Dec 2022 18:04:27 +0800 Subject: [PATCH] Update acknowledgments.rst --- docs/acknowledgments.rst | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/docs/acknowledgments.rst b/docs/acknowledgments.rst index 3c27032..c4238d3 100644 --- a/docs/acknowledgments.rst +++ b/docs/acknowledgments.rst @@ -1,8 +1,6 @@ Acknowledgments =============== -The implementation of `percy` was inspired by Mathias Soeken's exact synthesis -implementation in ABC_. A special thanks also goes out to Alan Mishchenko for -inspiring discussions and ideas. +The implementation of `phyLS` was inspired by Chu Zhufei's logic synthesis tool ALSO_. -.. _ABC: https://github.com/berkeley-abc/abc +.. _ALSO: https://github.com/nbulsi/also