Ah, I knew I forgot something! Thanks, I licensed it under the MIT license now:) | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Sarek on June 17, 2022 \| parent \| context \| favorite \| on: CreuSAT: Formally verified SAT solver written in R... Ah, I knew I forgot something! Thanks, I licensed it under the MIT license now:)

rch on June 18, 2022 [–]

Thanks!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact