Windows build - Githubissues

lsils / bill

C++ header-only reasoning library

MIT License

11 stars 6 forks source link

Windows build #5

Closed hriener closed 5 years ago

hriener commented 5 years ago

This PR allows bill to build on Windows platforms.

Excludes Glucose 4.1 and MapleSAT from Windows build
Disables more windows warnings