Code

Conps minisat [blocks: #3243]#3282

Code

Closed

nmanthey wants to merge 6 commits intodiffblue:developdiffblue/cbmc:developfrom

nmanthey:conps-minisatnmanthey/cbmc:conps-minisatCopy head branch name to clipboard

Commits

Commits on Oct 29, 2018

• solvers: also link MiniSat2 options

  Show description for ddc6cbf
  nmanthey

  committed
  ddc6cbf

  Copy full SHA for ddc6cbf

• minisat: fix Options.cc

  Show description for add5598
  nmanthey

  committed
  add5598

  Copy full SHA for add5598

Commits on Nov 6, 2018

• build: disable Werror for rapid prototyping

  nmanthey

  committed
  ac07b9a

  Copy full SHA for ac07b9a

• sat: link against System.cc for MiniSat

  nmanthey

  committed
  e262edc

  Copy full SHA for e262edc

• minisat: use lbool namespace

  nmanthey

  committed
  1ab4809

  Copy full SHA for 1ab4809

• sat: use conp-solutions/minisat

  nmanthey

  committed
  9494ebe

  Copy full SHA for 9494ebe