# meta
name="msat"
version="dev"
description="MSAT is a modular SAT solver, plus extensions"
requires=""
archive(byte) = "msat.cma"
archive(byte, plugin) = "msat.cma"
archive(native) = "msat.cmxa"
archive(native, plugin) = "msat.cmxs"

package "sat" (
 version = "dev"
 description = "SAT solver instance"
 requires = "msat"
 archive(byte) = "msat_sat.cma"
 archive(byte, plugin) = "msat_sat.cma"
 archive(native) = "msat_sat.cmxa"
 archive(native, plugin) = "msat_sat.cmxs"
 exists_if = "msat_sat.cma"
)

package "smt" (
 version = "dev"
 description = "SMT solver instance"
 requires = "msat"
 archive(byte) = "msat_smt.cma"
 archive(byte, plugin) = "msat_smt.cma"
 archive(native) = "msat_smt.cmxa"
 archive(native, plugin) = "msat_smt.cmxs"
 exists_if = "msat_smt.cma"
)