name: hol-sat
version: 1.0
description: Interface between OpenTheory Standard Library and HOL4 satTheory
author: Ramana Kumar <ramana@member.fsf.org>
license: GPL
requires: bool
requires: hol-bool
show: "Data.Bool"
main {
  article: "../../HolSat/sat.ot.art"
}
