Safe Haskell | None |
---|
Documentation
example_main_gecode :: ExampleModel [String] -> ExampleModel ModelInt -> ExampleModel ModelCol -> Bool -> IO ()Source
example_sat_main_gecode :: ExampleModel [String] -> ExampleModel ModelInt -> ExampleModel ModelCol -> IO ()Source
example_sat_main_void_gecode :: ExampleModel () -> IO ()Source
example_sat_main_single_gecode :: Read n => ExampleModel n -> IO ()Source
example_min_main_gecode :: ExampleMinModel [String] -> ExampleMinModel ModelInt -> ExampleMinModel ModelCol -> IO ()Source
example_min_main_void_gecode :: ExampleMinModel () -> IO ()Source
example_min_main_single_gecode :: Read n => ExampleMinModel n -> IO ()Source
module Control.CP.FD.Example