Portability | portable |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | Safe-Inferred |
References:
- R. Nieuwenhuis and A. Oliveras, Fast congruence closure and extensions, Information and Computation, vol. 205, no. 4, pp. 557-580, Apr. 2007. http://www.lsi.upc.edu/~oliveras/espai/papers/IC.pdf