monadiccp-gecode 0.1.1 → 0.1.2
raw patch · 2 files changed
+3/−2 lines, 2 files
Files
Control/CP/FD/GecodeExample.hs view
@@ -14,7 +14,8 @@ example_min_main_single_gecode, example_min_main_single_expr_gecode, example_min_main_coll_expr_gecode,- module Control.CP.FD.Example + setSearchMinimize,+ module Control.CP.FD.Example ) where import System.Environment (getArgs)
monadiccp-gecode.cabal view
@@ -1,5 +1,5 @@ Name: monadiccp-gecode-Version: 0.1.1+Version: 0.1.2 Description: Gecode extension for the Monadic Constraint Programming Framework (code generator and runtime solver backend) License: BSD3 License-file: LICENSE