Copyright | (c) Dominik Luecke Uni Bremen 2007 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | luecke@informatik.uni-bremen.de |

Stability | experimental |

Portability | portable |

Safe Haskell | None |

THe QBF solver sKizzo is used for conservativity checking. This is the code connecting it to Hets

- conserCheck :: (Sign, [Named FORMULA]) -> Morphism -> [Named FORMULA] -> IO (Result (Conservativity, [FORMULA]))