Haskell API - Githubissues

arminbiere / kissat

MIT License

452 stars 85 forks source link

Haskell API #20

Open jwaldmann opened 3 years ago

jwaldmann commented 3 years ago

Hi, if anyone is interested, I am working on a Haskell binding to Kissat here https://github.com/jwaldmann/ersatz-kissatapi