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