akgvn

> I'd love it if there were more "intermediate" level documentation sets on SMT - aimed not at people who have just started using SMT, but also not aimed at people who are going to start doing SMT research.

Agreed. I've been doing some research to create an SAT Solver and found surprisingly low amount of learning material. I'd love some recommendations from HN crowd.

An open-source alternative, Monica, has been discussed before:

* (2018) "Monica – Personal CRM, Remember everything about friends and family" -> https://news.ycombinator.com/item?id=18318547

* (2017) "Show HN: Monica, an open-source CRM to manage friends and family" -> https://news.ycombinator.com/item?id=14497295