Twitter Feed
@Extrawurst ("Stephan Dilly") retweeted:
@NieDzejkob ("NieDżejkob") wrote:
Sooo, rustc is a SAT solver, by accident. And it doesn't do that well. https://niedzejkob.p4.team/rust-np/
Twitter FeedTwitter FeedTwitter Feed@Extrawurst ("Stephan Dilly") retweeted:
@NieDzejkob ("NieDżejkob") wrote:
Sooo, rustc is a SAT solver, by accident. And it doesn't do that well. https://niedzejkob.p4.team/rust-np/