Code

Fix compilation errors#36

Code

Open

jordi-petit wants to merge 4 commits intoniklasso:masterniklasso/minisat:masterfrom jordi-petit:masterjordi-petit/minisat:masterCopy head branch name to clipboard

+13-11

Commits

Commits on Jun 7, 2019

• Fix compilation error

  Show description for 7eb6015
  

  Jordi Petit

  committed
  7eb6015

• Fix compilation error

  Show description for cb51caa
  

  Jordi Petit

  committed
  cb51caa

Commits on Nov 6, 2019

• Fix compilation error with C++17

  

  Jordi Petit

  committed
  009d566

• Fix flags for clang

  

  Jordi Petit

  committed
  983c1c1