has reached the end-of-life and is now read-only. Please see the EOL announcement for details

i guess yices works with cosmopolitan
now to integrate kissat into it

· · Web · 1 · 0 · 0

looks like it works! 20→8 seconds to solve a toy problem

Sign in to participate in the conversation

the mastodon instance at is retired

see the end-of-life plan for details: