3 ms·
Yeah, feels wrong to add that ambiguity
by iou 6y ago
Yeah, feels wrong to add that ambiguity
- iou 6y agoI'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