jiajingyyyyyy / HUST-SAT_solver_embedded_in_hanidoku
华中科技大学程序设计综合课设,基于DPLL算法的SAT求解器+蜂窝数独 / stater
☆12Updated last year
Related projects: ⓘ
- 华中科技大学计算机系统基础实验报告(共64页)☆13Updated 10 months ago
- 一个华科计算机学院的资料集合☆157Updated last week
- 华中科技大学19级程序设计综合课程设计/数独求解器/数据结构课程设计/带有图形界面Easy-X☆19Updated last year
- 华中科技大学计算机学院20级实验报告/代码——汇编实验;机器学习;计算机系统基础;算法实验;游戏设计;组原;计算机网络;软件工程;数据库;计算机视觉;操作系统课设☆23Updated 9 months ago
- 华中科技大学计算机学院计算机组成原理实验☆12Updated 2 years ago
- 华中科技大学 数据库系统原理实践 - 以MySQL为例☆56Updated last year
- HUST-CS-2019 计算机网络课程及其实验☆27Updated last year
- 华中科技大学计算机组成原理课程设计☆24Updated last year
- 华科计算机数据库实验-2022☆21Updated last year
- 华中科技大学2020级编译原理educoder实验☆45Updated last year
- 华中科技大学物理实验报告☆31Updated 3 years ago
- 华中科技大学数据结构课程设计,基于SAT的二进制数独求解☆9Updated 3 years ago
- 华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem☆36Updated 5 years ago
- ☆14Updated 5 months ago
- 华中科技大学计算机学院C++实验源码及报告☆18Updated 2 years ago
- 华中科技大学机器学习作业&课设. Solutions to HUST ML class tasks.☆74Updated 2 years ago
- 华中科技大学数据结构实验报告☆8Updated last year
- 基于SAT的二进制数独游戏求解程序-基准版☆19Updated 2 years ago
- 华中科技大学CS文件存留,包含相关资料,代码以及报告☆144Updated 3 years ago
- 华中科技大学2020级嵌入式系统☆13Updated last year
- 华中科技大学计算机科学与技术双学位☆59Updated 4 years ago
- ☆8Updated 5 months ago
- 华中科技大学2020级数据库(opengauss版)educoder☆43Updated last year
- HUST程序设计综合☆8Updated 2 years ago
- 华中科技大学操作系统实验 (Operating System lab of HUST) 包括课设内容☆8Updated last year
- 华中科技大学2020级操作系统实验(PKE)☆39Updated last year
- 华中科技大学计算机科学与技术学院研究生复试历年机试题目☆26Updated last year
- 华中科技大学计算机网络实验☆8Updated 3 years ago
- An Implementation of Fatigue Driving Detect, Huawei Cloud Track, 18th Challenge Cup☆37Updated 2 months ago
- HUST-CS-2019 硬件综合训练-组原课设-riscv实现☆10Updated last year