search

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories
MIT License
106 stars 29 forks source link

Add <stdexcept> include #16

Closed seanmcl closed 6 years ago

seanmcl commented 6 years ago

This file fails to build on my machine with gcc 4.9. This change gets the build to go through.

sambayless commented 6 years ago

Good catch, thanks!