[Haskell-cafe] Unit propagation

PatrickM patrickm7860 at yahoo.co.uk
Wed Feb 16 17:07:50 CET 2011

How can I create he function propagateUnits by just using this 2 functions
and recursion?
remove :: (Eq a) ->a ->[a] ->[a] 
-This function removes an item from a list.
assignModel :: Model -> Formula -> Formula 
 -This function applies the assign function for all the assignments of a
given model.

View this message in context: http://haskell.1045720.n5.nabble.com/Unit-propagation-tp3384635p3387910.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

More information about the Haskell-Cafe mailing list