Code

fix c++11 std compliance#33

Code

Open

Udopia wants to merge 1 commit intoniklasso:masterniklasso/minisat:masterfrom Udopia:masterUdopia/minisat:masterCopy head branch name to clipboard

+70-24

Commits

Commits on Aug 2, 2023

• fix c++11 std compliance and mac compatibility

  Udopia

  committed
  37a907d