CSPM-ToProlog (hackage): 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.
Keywords: bsd3|formal-methods|library