ripecoconut

5 ms·

1. 1.▲
   by ripecoconut 3y ago

   I clicked join a server and it just let me browse no problem.
2. 2.▲
   by ripecoconut 6y ago

   https://sat-smt.codes/main.html is a good introduction to applying SMT to many kinds of problems. https://rise4fun.com/ for all sorts of examples of what these sorts of algorithms can solve. https:/&#
3. 3.▲
   by ripecoconut 6y ago

   That's why they put a filter on it