Conversation

Notices

1. バツ子（痛いの痛いの飛んでけ;; (shmibs@tomo.airen-no-jikken.icu)'s status on Friday, 26-Nov-2021 00:59:41 JST バツ子（痛いの痛いの飛んでけ;;
   > Examples of such tools include SAT solvers, SMT solvers, and model checkers.01.jpg02.jpg03.png
   • Suya.. (hj@shigusegubu.club)'s status on Friday, 26-Nov-2021 01:32:05 JST Suya..

     in reply to
     @shmibs :jack_frost:
     バツ子（痛いの痛いの飛んでけ;; likes this.