Post #1750298
2026-04-15 19:14 UTC
@thalia @j2kun
Hmm, why was it worthwhile to do the effort, did it obscure things, or are you space or time limited?
> SMT-LIB
I keep hearing about that usage more and more and more.
Replies (0)
No replies.