Module BindingOpt

Implementation of a transformation to replace Boolean equalities by equational constraints (which binds variables).

Author: Michael Hanus

Version: January 2020

Summary of exported operations:

main :: IO ()  Deterministic 
transformFlatProg :: Options -> String -> Prog -> IO (Prog,Bool)  Deterministic 

Exported operations:

main :: IO ()  Deterministic 

transformFlatProg :: Options -> String -> Prog -> IO (Prog,Bool)  Deterministic