Lib.rs

› 关键词 #constraints #optimization #simplex #data-structures #programming

#constraint

  1. grb

    Gurobi优化器的API

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

  2. russcip

    SCIP的Rust接口

    v0.3.4 2.5K #optimization #constraint #scip #interface #programming #integer #model

  3. chronologic

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

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

  4. podded

    约束环境中的零拷贝类型

    v0.5.2 290 #zero-copy #constraint #environments #data-structures #types #pod #collection

  5. cassowary

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

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

  6. align_constr

    类似于aligned但更好。新的类型，其对齐不仅受底层类型的固有对齐要求限制，还受“对齐约束模板”的对齐要求限制

    v0.2.0 #alignment #traits #maths #archetypes #constraint #newtype #requirements

  7. rusty-wam

    Rust中的Warren抽象机

    v0.8.1 #prolog #logic-programming #programming-language #industrial #strength #machine #constraint

  8. rust-constraint

    约束满足问题（CSPs）

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

  9. descent

    约束优化的建模和自动微分

    v0.5.0 #automatic-differentiation #optimization #ipopt #differentiation #constraint #modeling #operator-overloading

  10. libpcp

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

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

  11. 波函数坍缩

    根据选定的算法将节点及其限制转换为坍缩后的节点状态

    v0.2.0 #procedural-generation #graph-node #constraint #generation #procedural #graph-algorithms #wfc

  12. terraform-version

    terraform版本约束语法的解析器和匹配计算器

    v0.4.0 130 #terraform #version #syntax #constraint #calculator #compiler-version #match

  13. descent_ipopt

    下降算法的IPOPT接口

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

  14. lambek

    Rust中的类型级编程

    v0.1.1 #functional #programming #type-level #constraint #transformation #higher #kinds

  15. ai_kit

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

    v0.1.0 #ai #inference #planning #constraint #backtrack #constraints

  16. limq

    具有可选最大元素数量约束的队列

    v0.1.0 #queue #bounded #numbers #max #constraint #elements #optional

  17. puzzle-solver

    通过描述它们的约束来解决逻辑谜题。适用于数独和Kakuro等谜题。

    v0.4.1 #puzzle #sudoku #constraint #finite #domain #constraints

  18. orion-async

    消除此约束以提高性能 - 异步函数的局部变量必须实现Send Trait

    v0.1.1 #traits #send #variables #performance #local #constraint #async

  19. xcc

    具有颜色扩展的精确覆盖求解器

    v0.1.0 #color #combinatorial #secondary-color #constraint #solver #cover #problem

  20. casuarius

    Cassowary线性约束求解算法

    v0.1.1 #user-interface #interface #constraint #user #layout #simplex #constraints

    21. 尝试使用DuckDuckGo进行搜索。[链接](https://duckduckgo.com/?q=site%3Alib.rs+constraint)

  21. constraint

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

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

  22. essential-constraint-vm

    基本约束检查虚拟机

    v0.3.0 500 #constraint #checking #contract #predicate #mutation #solution #vm

  23. essential-server

    声明式约束检查引擎

    v0.4.0 400 #constraint #checking #engine #declarative #applications #protocols #blocks

  24. cp_sat

    Google CP-SAT约束编程求解器的Rust绑定

    v0.3.3 #cp #constraint #programming

  25. essential-constraint-asm

    基本约束虚拟机的汇编操作

    v0.3.0 600 #vm #assembly #constraint #operations

  26. essential-debugger

    基本约束检查引擎的实验性约束调试器

    v0.2.0 #debugging #constraint #experimental #checking #engine

  27. mpl-trifle

    Metaplex 可组合性程序

    v0.5.3 #constraint #model #token #trifle #account #creator #instructions

  28. shackle

    基于约束建模语言的编译库

    v0.1.0 #constraint #modeling #language #compilation

  29. rem-constraint

    提取大师

    v0.1.0 #constraint #extract #system #parse #local #rules #chr

  30. descent_macro

    用于源代码差异化的过程宏

    v0.5.0 #optimization #ipopt #differentiation #constraint #proc-macro #optimisation

  31. aorist_constraint

    aorist项目的示例约束crate

    v0.0.14 #constraint #aorist #data #repetitive #tool

  32. orion-async-macros

    消除此约束以提高性能 - 异步函数的局部变量必须实现Send Trait

    v0.1.1 #send #traits #variables #local #performance #constraint #async

  33. trailblazer

    约束求解器

    v0.0.0 #trailblazer #solver #constraint

  34. chinstrap

    有限域约束满足工具包

    v0.0.0 #domain #toolkit #constraint #finite #satisfaction