diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-23 23:50:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-23 21:50:02 +0000 |
| commit | 335eedb9096db8d4654486f015449621fb146eaa (patch) | |
| tree | 1eb3987eebee0e71f91f4ceedc61295097011a18 /README.md | |
| parent | 557e5658048b48b8908675b632fc977f78c71605 (diff) | |
Add missing dependency for CaDiCaL (#6431)
This PR adds the dependency of the CaDiCaL cmake target on the external project CaDiCaL-EP if it is not found in the system.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions