Welcome to kissat Discussions!

[arminbiere]

👋 Welcome!

We’re using Discussions as a place to connect with other members of our community. We hope that you:

• Ask questions you’re wondering about.
• Share ideas.
• Engage with other community members.
• Welcome others and are open-minded. Remember that this is a community we
  build together 💪.

To get started, comment below with an introduction of yourself and tell us about what you do with this community.

[MxaWnag]

is it simple to make a solver cloning method if i want to clone a new solver from the original one? What about following the method kissat_init()

[arminbiere]

Unfortunately Kissat does not support this (nor any other incremental) usage.