Code

Update Cadical to version 2.1.0#74

Code

Merged

Dekker1 merged 1 commit intopindakaashq:developpindakaashq/pindakaas:developfrom Dekker1:feat/cadical-2.1.0Dekker1/pindakaas:feat/cadical-2.1.0Copy head branch name to clipboardOct 10, 2024

+184-187

Commits

Commits on Oct 10, 2024

• Update Cadical to version 2.1.0

  Show description for 90631db
  Dekker1

  committed
  90631db