已标记约束的程序包
24个包裹都有这个标签。
[合并标签](仅限受托人)相关标签:图书馆(24),bsd3型(11),阿帕奇(5),程序(3),人工智能(2),控制(2),失败(2),通用公共照明(2),逻辑(2),麻省理工学院(2),单子(2),优化(2),优化(2),算法(1) 。。。
姓名 |
数据链路 |
额定值 |
收入折旧 |
描述 |
标签 |
最后一个U/L |
上次版本 |
维护者 |
顶部 | 6 | 0 | 2 | 氦编译器使用的约束求解框架。 | (约束条件,图书馆,程序) | 2012-08-21 | 1.7 | 侏罗纪黑格 |
衰减 | 12 | 0 | 2 | 子类型关系和差异角色 | (阿帕奇,约束,图书馆) | 2021-10-11 | 0.2.0 | 安德鲁·普里查德 |
衰减算符 | 7 | 0 | 0 | 对敷衍者的衰减支持。 | (阿帕奇,约束,图书馆) | 2021-10-11 | 0.1.0 | 安德鲁·普里查德 |
群集 | 13 | 0 | 2 | 类型类的简单替代方法 | (bsd3型,约束,图书馆,类型系统) | 2014-10-14 | 0.3 | 基诺科里 |
约束 | 596 | 2 | 156 | 约束操纵 | (bsd2型,约束,图书馆) | 2012年5月24日 | 0.14.2 | 卡里吉巴德,爱德华·克米特,莱昂斯科特 |
约束派生 | 32 | 0 | 2 | 以编程方式操作约束和派生类实例。 | (bsd3型,约束,图书馆) | 2021-03-24 | 1.1.1.2 | 阿奇尔金 |
约束-合并 | 8 | 0 | 1 | 将实例查找推迟到运行时 | (约束,图书馆,麻省理工学院) | 2018-04-19 | 0.1.2 | 等向量 |
约束-extras | 356 | 2 | 16 | 约束实用程序包 | (bsd3型,约束,图书馆) | 2024年5月28日 | 0.4.0.1 | 卡里吉巴德,约翰·埃里克森,磨砂机,3个月 |
csp公司 | 26 | 2 | 1 | 离散约束满足问题(CSP)求解器。 | (人工智能,约束,控制,失败,图书馆,单子) | 2018-03-14 | 1.4.0 | 安德烈·巴布 |
受抚养人 | 17 | 0 | 0 | 依赖文字库插件 | (阿帕奇,约束,图书馆) | 2021-11-05 | 0.2.0 | 安德鲁·普里查德 |
依赖性耳蜗蛋白 | 18 | 0 | 0 | 相关整数文字 | (阿帕奇,约束,图书馆) | 2021-11-05 | 0.1.0.2 | 安德鲁·普里查德 |
存在 | 11 | 0 | 1 | 保存约束证据的现有数据类型 | (bsd3型,约束条件,图书馆) | 2012-05-15 | 0.2 | 加博勒赫尔 |
ffunctor公司 | 18 | 0 | 1 | F unctor类型类 | (bsd3型,约束,图书馆) | 2020-08-13 | 1.2.1 | fommil公司 |
国际金融服务中心 | 7 | 0 | 2 | 归纳形式集约束求解器 | (bsd3型,约束,图书馆) | 2013-10-22 | 0.2.0.0 | 特里斯坦·拉维奇 |
向前迭代搜索 | 4 | 0 | 0 | IFS约束求解器 | (约束,图书馆,麻省理工学院) | 2021-07-29 | 0.1.0.0 | 百万加仑,奥斯卡 |
米奥斯 | 8 | 0 | 1 | Haskell中基于Minisat的CDCL SAT解算器 | (人工智能,约束,通用公共照明,图书馆,程序) | 2018-10-07 | 1.6.2条 | 什纳拉斯克 |
不确定性 | 23 | 2 | 2 | 用于非确定性计算的单子和单子变换器。 | (人工智能,约束,控制,失败,图书馆,单子) | 2022-05-20 | 1.5 | 安德烈·巴布 |
假鲕粒 | 30 | 0 | 1 | 读取/写入用于伪布尔竞争的OPB/WBO文件 | (bsd3型,约束,数据,图书馆,逻辑,优化,优化) | 2024-03-14 | 0.1.11.0 | Masahiro酒井 |
snumber(数字) | 12 | 0 | 1 | 具有灵活表示的整数单态 | (阿帕奇,约束,图书馆) | 2021-11-05 | 0.3.0 | 安德鲁·普里查德 |
一些直径的 | 15 | 0 | 2 | 携带约束条件的证据 | (bsd3型,约束,图书馆) | 2021-09-20 | 0.1.0.2 | 牧师 |
超级约束 | 5 | 0 | 1 | 访问实例的约束 | (bsd3型,约束,图书馆) | 2017-05-28 | 0.0.2 | Ryan Trinkle公司 |
玩具解决者 | 23 | 0 | 4 | SAT、SMT、Max-SAT、PB、MIP等的各种决策程序 | (算法,bsd3型,约束,形式方法,图书馆,逻辑,优化,优化,程序,表面贴装,理论证明者) | 2022-09-17 | 0.8.1 | Masahiro酒井 |
琐事约束 | 21 | 0 | 5 | 约束任何类型的。没有类型满足 | (约束,通用公共照明,图书馆) | 2021-05-07 | 0.7.0.0 | 左转 |
无约束的(已弃用) | 17 | 0 | 三 | Null约束 | (bsd3型,约束,已弃用,图书馆) | 2018-01-25 | 0.1.0.2 | |