Lens에 대해서 글을 써 볼까... 아니면 SMT에 대해서 글을 써 볼까... 이런 고민은 끊이질 않는다 😵
If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/01982f73-cba7-7523-9b67-ca6b3db42e1c on your instance and reply to it.
시장 조사 중인 거지요? SMT solver?는 좀 더 전공자용 같고, Lens는 업자도 자주 쓰는 것 같습니다. 언제나 둘 다 쓰자에 한 표지만, 시간 관계상 하나만 쓴다면, Lens에 한 표 던지겠습니다.
@ailrunAilrun (UTC-5/-4)
@ailrunAilrun (UTC-5/-4) 늦었지만 Lens에 저도 한 표 올려봅니다.