↧
Answer by Xarn for Suggestion of an efficient SAT solver with good C++...
If you are willing to put some work into fixing build for different platforms (or don't need them at all), MiniSat's interface is rather nice. Do note that it is not really maintained anymore...
View ArticleSuggestion of an efficient SAT solver with good C++ interface (or: is Z3 good...
For a project I'm starting I will need to use a SAT solver. I've used some of them before but mainly for experimenting, while here the main constraint for the project is good performance. I'm trying to...
View Article