Cygwin

[Deleted user]

First, let me thank you for your work! I'm using Open-WBO...
Today, I wanted to compile it in cygwin and found that this needs to be fixed:

--- a/Makefile
+++ b/Makefile
...
-CFLAGS += -Wall -Wno-parentheses -std=c++11 -DNSPACE=$(NSPACE) -DSOLVERNAME=$(SOLVERNAME) -DVERSION=$(VERSION)
+CFLAGS += -Wall -std=gnu++14 -Wno-parentheses -DNSPACE=$(NSPACE) -DSOLVERNAME=$(SOLVERNAME) -DVERSION=$(VERSION)

Dunno if you will want to change this...
See also: https://stackoverflow.com/questions/33658930/putchar-unlocked-doesnt-work-in-c-14-standard