Code

Update kissat to v4.0.1#3791

Code

Merged

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom remi-delmas-3000:update-kissat-4.0.1remi-delmas-3000/kani:update-kissat-4.0.1Copy head branch name to clipboardDec 20, 2024

+2-2

Commits

Commits on Dec 19, 2024

• Update kissat to v4.0.1

  Show description for 89bd476
  

  Remi Delmas

  committed
  89bd476

  Copy full SHA for 89bd476