search

Gbury / mSAT

A modular sat/smt solver with proof output.
https://gbury.github.io/mSAT/
Apache License 2.0
95 stars 8 forks source link

requires zarith? #1

Closed c-cube closed 9 years ago

c-cube commented 9 years ago

I tried to install msat using opam-deducteam, and it failed with

ocamlfind: Package `zarith' not found

is it a missing dependency?