search

domschrei / mallob

Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
GNU Lesser General Public License v3.0
60 stars 16 forks source link

Add missing header includes? #4

Closed alex-ozdemir closed 3 years ago

alex-ozdemir commented 3 years ago

Necessary for the build on my system.

Perhaps tested systems incidentally include these via another header?

domschrei commented 3 years ago

Thank you! That may be possible. It's good that you found a fix for your system right away.