Copyright | Galois, Inc. 2010-2014 |
---|---|
License | BSD3 |
Maintainer | jhendrix@galois.com |
Stability | experimental |
Portability | non-portable (c2hs, language extensions) |
Safe Haskell | None |
Language | Haskell98 |
- Incomplete.* Binding of
sat/fraig/fraig.h
for configuring the process of generating functionally reduced AIGs. Fraiging is the special sauce that makes ABC outperform many vanilla SAT solvers.
Documentation
data Prove_Params_t_ Source #
Prove_Params_t_ | |
|