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

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

connor

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

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

the mastodon instance at cybre.space is retired

see the end-of-life plan for details: https://cybre.space/~chr/cybre-space-eol

Resources

Developers

What is Mastodon?

cybre.space

More…