i guess yices works with cosmopolitannow to integrate kissat into it
looks like it works! 20→8 seconds to solve a toy problem
ｃｙｂｒｅｓｐａｃｅ: 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!