search

nick8325 / equinox

Paradox model finder and equinox theorem prover for first-order logic.
MIT License
19 stars 4 forks source link

Fix build failure with `mtl 2.3` #17

Open andreasabel opened 1 year ago

andreasabel commented 1 year ago

There are 3 administrative commits and a 1-line fix in the last commit.

ATTN: @nick8325