jiajingyyyyyy / HUST-SAT_solver_embedded_in_hanidokuLinks
华中科技大学程序设计综合课设，基于DPLL算法的SAT求解器+蜂窝数独 / stater
☆14Updated 2 years ago
Alternatives and similar repositories for HUST-SAT_solver_embedded_in_hanidoku
Users that are interested in HUST-SAT_solver_embedded_in_hanidoku are comparing it to the libraries listed below
Sorting:
- HUST-2023秋-硬件设计综合训练☆10Updated last year
- 华中科技大学19级程序设计综合课程设计/数独求解器/数据结构课程设计/带有图形界面Easy-X☆25Updated 2 years ago
- 华中科技大学2020级操作系统实验（PKE）☆69Updated 2 years ago
- 华中科技大学 数据库系统原理实践 - 以MySQL为例☆65Updated 2 years ago
- HUST-CS-2019 硬件综合训练-组原课设-riscv实现☆16Updated 3 years ago
- 华中科技大学计算机学院2021级大数据专业课程资料（2021-2024）☆40Updated 7 months ago
- 华中科技大学计算机系统基础实验报告（共64页）☆17Updated 2 years ago
- 华中科技大学2022级命令式计算原理☆11Updated last year
- 华中科技大学数据结构课程设计，基于SAT的二进制数独求解☆12Updated 4 years ago
- 华科计算机数据库实验-2022☆23Updated 2 years ago
- 华中科技大学 riscv-pke 操作系统实验课设☆15Updated 8 months ago
- 一个华科计算机学院的资料集合 https://yuhangchen1.github.io/HUST_OPEN_SOURCE/☆431Updated this week
- 华中科技大学计算机学院20级实验报告/代码——汇编实验；机器学习；计算机系统基础；算法实验；游戏设计；组原；计算机网络；软件工程；数据库；计算机视觉；操作系统课设☆49Updated last year
- HUST-CS-2019 计算机网络课程及其实验☆60Updated 2 years ago
- HUST-SSE Software-Engineering-Curriculum-Design: Translation Miniprogram | 华中科技大学软件学院软件工程课设：机器翻译小程序☆25Updated 2 years ago
- 华中科技大学操作系统实验☆20Updated last year
- 华中科技大学计算机学院23级课程存档☆23Updated last week
- 华中科技大学计算机组成原理课程设计☆35Updated 2 years ago
- 华中科技大学计算机学院计算机组成原理实验☆12Updated 3 years ago
- 华中科技大学计算机个人资料合集:课设/实验报告等。tag:数电实验交通灯，C++实验华为，C语言实验，数据结构实验，洛谷算法实验，SAT数独求解器，电路理论，Java，计基实验，组原实验，计网，软件工程，函数式编程，头歌☆89Updated 2 weeks ago
- 华中科技大学大数据分析实验2019级☆12Updated 3 years ago
- 2024年春，华中科技大学大数据处理课程实验☆12Updated 4 months ago
- 华中科技大学操作系统实验 (Operating System lab of HUST) 包括课设内容☆16Updated 2 years ago
- 第十九届“挑战杯”揭榜挂帅专项赛华为赛道打榜第一&国家特等奖-拔萝卜的工程队作品仓库 19th Challenge Cup National Grand Prize☆34Updated 5 months ago
- 西安交通大学COMP400627操作系统课程☆28Updated 11 months ago
- 华中科技大学2020级编译原理educoder实验☆67Updated 2 years ago
- 这里是答案同志们☆44Updated last year
- C/C++ language practice for undergraduates of hust.cs☆16Updated last month
- 华中科技大学机器学习作业&课设. Solutions to HUST ML class tasks.☆86Updated 3 years ago
- 华中科技大学2020级数据库（opengauss版）educoder☆49Updated 2 years ago