Enables compiling on FreeBSD.

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories

MIT License

106 stars 29 forks source link

Closed bkocik closed 5 years ago

bkocik commented 5 years ago

It crashes exactly as many times on mac OS (44), so it's at least not worse on FreeBSD.

sambayless commented 5 years ago

Awesome!