packages feed

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