Lens에 대해서 글을 써 볼까... 아니면 SMT에 대해서 글을 써 볼까... 이런 고민은 끊이질 않는다 😵
시장 조사 중인 거지요? SMT solver?는 좀 더 전공자용 같고, Lens는 업자도 자주 쓰는 것 같습니다. 언제나 둘 다 쓰자에 한 표지만, 시간 관계상 하나만 쓴다면, Lens에 한 표 던지겠습니다.
@ailrunAilrun (UTC-5/-4)
If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/01982f7a-fc79-71b6-9c46-e82e6e64854c on your instance and reply to it.
@lionhairdino 네, 둘 다 틀은 잡아놓았는데, 쓰려하니 둘 다 쓰기에는 시간을 꽤나 잡아먹네요.