search

lobsters / mockturtle

Lobsters IRC bot
14 stars 4 forks source link

Exit process on connection closure #20

Closed OscarFKE closed 1 month ago