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

cybrespace: the social hub of the information superhighway jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal support us on patreon or liberapay!