version = "0.3"
requires(mt) = "threads"
archive(mt,byte) = "satsolver.cma"
archive(mt,native) = "satsolver.cmxa"
