3 ms·
I'll take the opportunity to plug Dennis Yurichev's Z3 book ;) https://sat-smt.codes/main.html https://sat-smt.codes/main.html
by iou 6y ago
I'll take the opportunity to plug Dennis Yurichev's Z3 book ;)
https://sat-smt.codes/main.html https://sat-smt.codes/main.html
- snovv_crash 6y agoAn I was thinking for a moment about the album by The Devin Townsend Project