search

astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Fix compilation for MacOS using LLVM #146

Closed Dekker1 closed 8 months ago

Dekker1 commented 8 months ago

As discussed in person: Small changes to make the codebase compile on MacOS.

Depends on astra-uu-se/fznparser#16