搜索
Choco-solver用于约束编程的开源 Java 库
认领
关注
0
粉丝
Choco-solver 是一个用于约束满足问题(Constraint Satisfaction Problems)和约束规划(Constraint
知识
简介
Choco-solver 是一个用于约束满足问题(Constraint Satisfaction Problems)和约束规划(Constraint Programming)的 Java 库。 它建立在一个可回溯结构的,基于事件的传播机制上。 Choco-solver 随附:各种类型的变量(整数、...
更多
其它信息
地区
不详
开发语言
Java
开源组织
无
所属分类
程序开发、 数学计算
授权协议
BSD
操作系统
跨平台
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知
时光轴
里程碑
1
LOG
0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0
(满分 10 分)
0 个评分
什么是点评分
图片
表情
视频
评价
全部评价( 0)
推荐率 100%
推荐
Choco-solver用于约束编程的开源 Java 库
Choco-solver 是一个用于约束满足问题(Constraint Satisfaction P
java-openid用于 OpenID 的 Java 库
java-openid 是 Java 语言实现的 OpenID 协议,目前还没有完整的实现 Cons
java-openid用于 OpenID 的 Java 库
java-openid是Java语言实现的OpenID协议,目前还没有完整的实现Consumer和Provider,但提供了处理OpenID消息的架构。
JFugue开源编程库
JFugue 是一个开放源代码编程库,它允许人们使用 Java编程语言来编程音乐,而无需 MIDI 的复杂性。它由DavidKoelle于2002年首次发布。当前版本是JFugue5.0,已于2015
Pink360 开源的网络编程库
Pink是360开源的网络编程库,支持 pb、Redis 等协议。对网络编程的封装,用户实现一个高性
JFugue开源编程库
JFugue 是一个开放源代码编程库,它允许人们使用 Java 编程语言来编程音乐,而无需 MIDI
Pink360 开源的网络编程库
Pink是360开源的网络编程库,支持pb、Redis等协议。对网络编程的封装,用户实现一个高性能的server只需要实现对应的DealMessage函数即可。支持单线程模型、多线程worker模型。
ExpAn用于 A/B 测试统计分析的开源 Python 库
A/B 测试(又名随机对照实验)已广泛应用于不同行业,以优化业务流程和用户体验。ExpAn 是一个
ExpAn用于 A/B 测试统计分析的开源 Python 库
A/B测试(又名随机对照实验)已广泛应用于不同行业,以优化业务流程和用户体验。ExpAn 是一个Python库,用于对这类实验进行统计分析,并对使用的数据结构进行标准化。ExpAn的数据结构和功能是通
RxCache用于 Android 和 Java 的响应式缓存库
RxCache 是一个用于Android和Java的响应式缓存库,可将缓存需求转换为一个接口进行配置。RxCache的灵感来源于 Retrofit ,目标是像 Picasso 缓存图片一样,毫不费力缓