Include kissat source code #149

chrjabs · 2024-10-17T08:14:37Z

Description of the Contribution

Include Kissat ~~and CaDiCaL~~ source for default version.

resolves #147

I read and agree to CONTRIBUTING.md
I have formatted my code with rustfmt / cargo fmt --all
Commits are named following conventional commits
I have added documentation for new features
The test suite still passes on this PR
I have added tests for new features / tests that would have caught the bug this PR fixes (please explain if not)
If this PR contains breaking changes, it is against the next-major branch, not against main

include C sources for newest kissat version to avoid network access

chrjabs added 3 commits October 17, 2024 11:04

feat(kissat): include C sources for newest version

4db6599

include C sources for newest kissat version to avoid network access

feat(kissat): custom C sources with KISSAT_SRC_DIR

fe225d3

fix(ci): checkout submodules for kissat

3c6a29d

chrjabs changed the title ~~Kissat cadical src~~ Include kissat source code Nov 28, 2024

chrjabs merged commit ca4b1d7 into main Nov 28, 2024
49 checks passed