Lib.rs

› 关键词 #constraint #optimization #solver #problem #simplex #parser #data-model

## 约束条件

  1. comemo

    通过约束记忆化进行增量计算

    v0.4.0 4.8K #incremental-computation #memoization #incremental #tracked #constraints #cache

  2. grb

    Gurobi优化器的API

    v2.0.1 #optimization #solver #constraint #simplex #mip #api-bindings #constraints

  3. chronologic

    时间约束推理（调度...）

    v0.7.3 900 #time #time-management #date-time #constraint #reasoning #constraints #data-structures

  4. cassowary

    线性约束求解算法。Cassowary算法旨在使用线性约束自然地布局用户界面，例如“此按钮必须与此文本框对齐”

    v0.3.0 346K #user-interface #layout #constraint #user #simplex #constraints #ui

  5. ceres-solver

    Ceres求解器的安全Rust绑定

    v0.3.0 360 #solver #ceres #optimization #bindings #non-linear #problem #constraints

  6. termite-dmg

    Termite数据模型生成器是一个用于生成数据模型样板代码的crate

    v0.1.0 #data-model #yaml #enums #header #variant #generate #constraints

  7. capy-graph

    一个用于动态构建算术电路的框架

    v0.1.4 #circuit #gate #constraints #arithmetic #operations #constructing #layer

  8. peace_params

    Peace自动化框架参数的约束和规范

    v0.0.13 180 #automation #peace #parameters #framework #clean #constraints #specification

  9. sx_cli

    RDF数据形状的Rust实现

    v0.0.13 340 #rdf #data #data-model #data-interchange #shapes #language #constraints

  10. constrained-inputs

    约束IO输入

    v0.1.2 #user-input #input-validation #constraints #constrained #parser #io #input-stream

  11. contrafact

    一个用于高度可组合约束（"事实"）的特质，可以用来验证数据和在这些约束内生成任意数据

    v0.2.0-rc.1 2.4K #constraints #testing #composable #fixtures

  12. sat_toasty_helper

    更容易编写SAT约束

    v0.0.3 #sat-solver #sat #constraints #problem #puzzle #splr #write

  13. valid

    通过组合基本验证函数来验证自定义类型。使用一个通用的API来验证所有类型的业务规则，包括应用程序状态方面。所有错误类型都使用一个通用的类型...

    v0.3.1 170 #validation #error-message #constraints #validate #user-input #business-rules

  14. safer_owning_ref

    创建携带所有者信息的引用

    v0.5.0 8.9K #reference #owning #sibling #field #constraints

  15. rust-constraint

    约束满足问题（CSPs）

    v0.1.0-alpha.1 #constraint #csp #combinatorial #solving #constraints

  16. laxcow

    具有宽松特质的写时复制智能指针

    v0.2.0 #smart-pointers #cow #no-std #traits #constraints #relaxed #clone-on-write

  17. libpcp

    支持整数算术约束的约束求解器

    v0.7.0 #constraint #csp #combinatorial #solving #constraints #satisfiability

  18. webrtc-constraints

    WebRTC媒体约束API的纯Rust实现

    v0.1.0 #stream #media #spec #capture #constraints #web-rtc #pure

  19. descent_ipopt

    下降法的IPOPT接口

    v0.5.0 #optimization #ipopt #differentiation #constraint #constraints #modeling

  20. seer

    rust的符号执行引擎

    v0.0.3 #execution-engine #symbolic #constraints #set #point #base64 #string

  21. sudoku-variants

    一个灵活的数独引擎，支持常见变体和自定义规则

    v0.2.1 #sudoku #sudoku-solver #engine #rules #backtracking #variant #constraints

  22. sdcx

    SDC（Synopsys设计约束）工具包

    v0.1.0 #设计 #解析器 #约束 #SDC #工具包 #EDA #综合工具

  23. rbuf

    具有一些非标准约束的通用环形缓冲区实现

    v0.1.3 110 #环形缓冲区 #非标准 #通用 #约束

  24. ai_kit

    具有方便接口的经典AI算法集合

    v0.1.0 #AI #推理 #规划 #约束 #回溯 #约束

  25. len_constraints

    实现API中类型固定长度约束的特性和类型

    v0.1.2 #约束 #API #长度 #API验证 #特质 #类型 #类型固定

  26. puzzle-solver

    通过描述约束来解决逻辑谜题。适用于数独和卡库罗等谜题。

    v0.4.1 #谜题 #数独 #约束 #有限 #域 #约束

  27. sdc-parser

    Synopsys设计约束（sdc）的解析器库

    v0.1.1 #解析器 #SDC #设计 #约束 #命令 #Synopsys #自

  28. copper

    约束编程求解器

    v0.1.0 #求解器 #变量 #约束 #编程 #约束求解器 #问题 #搜索

  29. sc-statement-store

    Substrate语句存储。（polkadot v1.15.0）

    v19.0.0 100 #语句 #存储 #substrate #polkadot #优先级 #约束 #已移除

    30. 尝试使用DuckDuckGo进行搜索。

  30. pblib-rs

    pblib的安全Rust绑定

    v0.1.0 #约束 #基数 #SAT #API绑定 #pb #编码

  31. casuarius

    Cassowary线性约束求解算法

    v0.1.1 #用户界面 #界面 #约束 #用户 #布局 #单纯形 #约束

  32. varisat-utils

    varisat，添加最多一个和正好一个约束

    v0.2.0 #排序 #约束 #网络 #varisat #编码 #正好一个 #最多一个

  33. is_type

    类型相等约束

    v0.2.1 150 #约束 #相等 #类型

  34. vts

    宏，用于生成定义新类型及其关联约束的样板代码

    v1.1.2 #proc-macro #define #constraints #generate #boiler #plate #clone

  35. 约束

    轻松创建带有所需保证的类型

    v0.1.0 #guarantees #type #constraints #create #easly #string #non-empty

  36. isoperm

    约束排列

    v0.1.2 #variables #constraints #permutation #constrained #sequence #value #unknown

  37. minilp

    一个快速的线性规划求解器库

    v0.2.2 28K #linear-programming #optimization #problem #solver #variables #constraints #solution

  38. essential-dry-run

    用于与运行中的 essential-server 对比测试解决方案的 CLI 和库

    v0.2.0 110 #dry-run #solution #contracts #running #check #address #constraints

  39. comemo-macros

    为 comemo 设计的过程宏

    v0.4.0 4.8K #memoization #incremental #tracked #constraints #incremental-computation

  40. liquid-layout

    一个使用 Z3 证明器解决 UI 约束的布局引擎

    v0.1.1 #layout #solve #constraints #z3 #prover #engine #ui

  41. nifty-asset-types

    Nifty Asset 程序的类型

    v0.6.0 #assets #extension #nifty #account #constraints #types #store

  42. rustqubo

    为 Rust 提供的 QUBO 操作库

    v0.1.0 #solver #qubo #constraints #machine #python #optimization #classical

  43. constrainer

    尝试将 CAD 约束概念应用于变量以显著减少冗余指令

    v0.0.2 #variables #order #reduce #cad #concepts #constraints #attempt

  44. cargo-binary

    验证二进制工件上的约束

    v0.0.1 #ci #cargo #artifact #validate #binary #constraints #placed