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 ()  Non-deterministic 
transformFlatProg :: Options -> String -> Prog -> IO (Prog,Bool)  Non-deterministic 

Exported operations:

main :: IO ()  Non-deterministic 

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