package regstab

  1. Overview
  2. No Docs
SAT-Solver able to deal with formulae patterns

Install

Edit opam file

Authors

Maintainers

  1. H
    https://github.com/ocaml/opam-repository/issues

Sources

regstab-2.0.0.tar.gz
md5=bacea0b985f75328453a2b2da40afa07

Description

Published: 21 Nov 2013

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind
  3. ocaml < "4.06.0"

Dev Dependencies

None

Used by

None

Conflicts

None