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

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

· · Web · 0 · 0 · 0
Sign in to participate in the conversation

the mastodon instance at is retired

see the end-of-life plan for details: