Code

solvers: also link MiniSat2 options#6783

Code

Merged

NlightNFotis merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:link-minisatNlightNFotis/cbmc:link-minisatCopy head branch name to clipboard

May 25, 2022

Commits

Commits on Apr 6, 2022

• solvers: also link MiniSat2 options

  Show description for 1bfbdd7
  

  nmanthey

  authored and

  NlightNFotis

  committed
  1bfbdd7

  Copy full SHA for 1bfbdd7

• minisat: fix Options.cc

  Show description for b0c0a6c
  

  nmanthey

  authored and

  NlightNFotis

  committed
  b0c0a6c

  Copy full SHA for b0c0a6c

Commits on May 24, 2022

• Add missing file `Options.cc` from Minisat2 CMakefile in `scripts/` folder.

  NlightNFotis

  committed
  82b1600

  Copy full SHA for 82b1600