(lang dune 2.9)
(name minisat)
(version 0.4)
(library
 (name minisat)
 (kind normal)
 (archives (byte minisat.cma) (native minisat.cmxa))
 (plugins (byte minisat.cma) (native minisat.cmxs))
 (foreign_objects libminisat_stubs.o solver.o)
 (foreign_archives libminisat_stubs.a)
 (native_archives minisat.a)
 (main_module_name Minisat)
 (modes byte native)
 (modules
  (singleton
   (name Minisat)
   (obj_name minisat)
   (visibility public)
   (impl)
   (intf))))
