search

arminbiere / kissat

MIT License
444 stars 78 forks source link

C++ interface #27

Open Rammbock9000 opened 2 years ago

Rammbock9000 commented 2 years ago

Hi, as discussed via email, here is the issue regarding the C++ interface for kissat. Nicolai

arminbiere commented 2 years ago

Thanks, as discussed, I will work on this.