ac-3 开源项目推荐（31 个）

axiomatic-systems /Bento4

功能齐全的MP4格式、MPEG DASH、HLS、CMAF SDK及工具

Eyevinn /mp4ff

用于处理包含视频、音频、字幕或元数据的 MP4 文件的库和工具。重点是分段文件。包括 mp4ff-info、mp4ff-encrypt、mp4ff-decrypt 等工具。

bluenviron /mediacommon

在 gohlslib、gortsplib、gortmplib、MediaMTX 之间共享的实体

DanielleHuisman /ac3.js

JavaScript AC-3（ATSC A/52）解码器

iainchesworthlabs /iclforge

一个基于已发布标准的净室 C++23 AC-3、E-AC-3 与 AC-4 编码器和解码器。它将 PCM 转换为 AC-3、E-AC-3 或 AC-4 流，将置于 3D 空间中并移动的单声道源通过 Joint Object Coding 转换为 E-AC-3，并可读回这些流。

amit-sarker /csp_with_arc_consistency

包含所有弧一致性算法的 CSP

Dor-sketch /sudoku-solver

一个先进的 C++ 谜题求解器，利用约束满足和回溯等 AI 技术求解任意谜题，并配有交互式 Qt5 GUI 和数独游戏。

khteh /pAIthon

Python AI、ML、DL、NLP 和 GAN 探索平台。

pschatzmann /codec-ac3

面向微控制器的仅头文件 C++ AC-3（Dolby Digital / ATSC A/52）音频解码器

krabduke /csp-solver

带 AC-3 弧相容、MRV 和冲突导向回跳的约束满足求解器。

amir-hossein-khodaei /ai-sudoku-csp-visualizer

交互式 AI 数独求解器，可视化 CSP 算法（回溯、AC-3、MRV/LCV），并配有反应式 3D 机器人伙伴——使用 React Three Fiber 构建

PayThePizzo /SudokuSolver

数独求解器是一个代码库，致力于开发和基准测试用于求解最多 17 个提示数的数独谜题的著名与新颖方法

ben-marshall /sat-solver

基于 AC-3 算法的简单组合布尔可满足性求解器

RobDavenport /rulebound

面向实时游戏逻辑和程序化验证的轻量级 no_std 约束传播求解器

msaadx /sudoku-solver-magic-square-puzzle-solver

该仓库包含一个数独求解器和一个幻方谜题求解器。数独求解器采用带启发式搜索和 AC-3 算法的回溯搜索。幻方求解器使用遗传算法求解 3x3 谜题。两个求解器均用 Python 实现，采用高效且优化的方法。

amr-yasser226 /sudoku_csp_solver

高级数独求解器，利用 CSP 范式（MRV、LCV、前向检查、AC-3），并配有实时 Matplotlib 仪表板，用于算法可视化和性能分析。

Sinamozaffarirad /sudoku-csp-solver

将数独视为 CSP：回溯、MRV、度启发式和 AC-3，并包含节点数比较、谜题生成器和 Pygame UI。卡尚大学 AI 课程

sjqtentacles /sml-csolver

纯 Standard ML 实现的有限域约束求解器（CSP）：AC-3 弧相容 + 回溯。N 皇后、数独。MLton + Poly/ML。

KNCn23 /csp-visualizer

交互式 Streamlit 可视化工具，用于约束满足算法：回溯、AC-3、前向检查

HamedDaoud /sudoku-solver-csp

该项目在 GitHub 上没有填写描述