Gecode

码农软件 · 软件分类 · 其他开发相关 · 2019-10-26 21:59:12

软件介绍

Gecode是一个用于开发基于约束的系统应用程序,是一个可移植、高效的环境。 Gecode是从根本上进行编程开放,这意味着它可以很容易地与其他系统的接口。它支持新的传播者(如约束的执行情况),分支策略,和搜索引擎编程。新的变量域可以被编程的效率,在有限域和整数集,拿出Gecode预定义变量相同的水平。

本文地址:https://www.codercto.com/soft/d/17636.html

Programming in Haskell

Programming in Haskell

Graham Hutton / Cambridge University Press / 2007-1-18 / GBP 34.99

Haskell is one of the leading languages for teaching functional programming, enabling students to write simpler and cleaner code, and to learn how to structure and reason about programs. This introduc......一起来看看 《Programming in Haskell》 这本书的介绍吧!

CSS 压缩/解压工具
CSS 压缩/解压工具

在线压缩/解压 CSS 代码

URL 编码/解码
URL 编码/解码

URL 编码/解码

HEX HSV 转换工具
HEX HSV 转换工具

HEX HSV 互换工具