# CSPM-ToProlog

This package contains a translation from a CSPM AST to the representation
used by the ProB tool.
This code is only interesting for ProB developers.

## [Haddock documentation](http://hackage.haskell.org/package/CSPM-ToProlog)