informarte /yuck
Yuck 是一款带有 FlatZinc 接口的本地搜索约束求解器
Scala64
flatzinc 开源项目推荐（9 个）
flatzinc 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
9收录项目
86Star 总量
7覆盖语言
相关标签
热门项目 全部 9
GitHub 共 9 个仓库，已全部展示
Arthod /python-minizinc-maker
Create pure Minizinc .mzn files from Python using python-minizinc-maker library.
Python6
rhartert /gofzn
Parser for the FlatZinc modeling language in Go
Go6
Dekker1 /homebrew-minizinc
A Homebrew Tap for MiniZinc solvers
Ruby4
MiniZinc /flatzinc-serde
FlatZinc serialization and deserialization
Rust2
tofjw /sabori_csp
Sabori CSP: A Lightweight Constraint Solver with Activity Guided Aggressive Search
C++2
radevgit /zelen
MiniZinc to Selen CSP Solver
Rust1
cyril-allignol /ocaml-flatzinc
A flatzinc parser for OCaml
OCaml1
VittorioRossetto /fzn2nl
A Python tool that parses FlatZinc (.fzn) models and prints a human-readable natural-language summary of the problem, variables, search strategy, and constraints (with optional constraint categorization/descriptions).
Python0
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序，每次展示前 9 个项目；原始页面见 https://github.com/topics/flatzinc。
- 该话题在 GitHub 上共有 9 个仓库， 本站收录的是其中最热门的 9 个，不是全量列表。
- Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
- 当前 9 个项目累计 86 Star，覆盖 7 种主要语言，数据更新于 2026-11-07。
- 中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。