search

niklasso / minisat-haskell-bindings

Haskell-Bindings to MiniSat
13 stars 3 forks source link

Support for MiniSat+? #3

Open bordaigorl opened 11 years ago

bordaigorl commented 11 years ago

Hi, can this be adapted easily to support minisat+? Or, are there any alternative bindings for minisat+?

niklasso commented 11 years ago

I'm afraid there isn't. In fact, MiniSat+ doesn't have a very useful API to be begin with (we never spent time on that). What do you want to use it for? Maybe just generating OPB-files and running the stand-alone binary will work?