i guess yices works with cosmopolitannow to integrate kissat into it
looks like it works! 20→8 seconds to solve a toy problem
the mastodon instance at cybre.space is retired see the end-of-life plan for details: https://cybre.space/~chr/cybre-space-eol
looks like it works! 20→8 seconds to solve a toy problem