New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
CryptoMiniSat build script needs updating #481
Comments
Thanks for the report; we'll take a look. @msoos: is CaDiCaL now a required dependency for CMS? I'm just surprised that to build a SAT solver it seems you now need another SAT solver. |
Hi, Yeah, sorry. I didn't now where to integrate cadiback. I didn't want to reimplement cadiback... so yeah. Also, I wanted to give credit, where credit is due -- CadiBack. This is for Arjun, the preprocessor that we have built. It's an insanely high-performance CNF preprocessor for model counting and also SAT solving. Unfortunately, it requires backbone detection. I have built one, and it's OK, but it's not like CadiBack. To be clear, I could improve CadiBack, if I had time, and I will improve it, but... not now. Don't know what to do. Sorry. Mate |
No stress :) We can update the docs/scripts for STP to pull down those deps. |
Thanks so much! 😻 |
Thanks all for the quick response on this! |
CMS has added new dependencies. Their README now has the following installation script:
Specifically, it seems like the CadiBack dependency is missing.
Seems like there's two ways to fix:
setup-cms.sh
, which would allow us to use an old version pre-CadiBack dependencyEither way, should be a quick fix!
The text was updated successfully, but these errors were encountered: