jiajingyyyyyy / HUST-SAT_solver_embedded_in_hanidokuLinks
华中科技大学程序设计综合课设,基于DPLL算法的SAT求解器+蜂 窝数独 / stater
☆12Updated last year
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:
- 华中科技大学计算机系统基础实验报告(共64页)☆17Updated last year
- 一个华科计算机学院的资料集合☆332Updated last month
- 华中科技大学计算机学院2021级大数据专业课程资料(2021-2024)☆35Updated 5 months ago
- 华科计算机数据库实验-2022☆24Updated 2 years ago
- 华中科技大学2020级操作系统实验(PKE)☆67Updated 2 years ago
- C/C++ language practice for undergraduates of hust.cs☆14Updated 10 months ago
- 华中科技大学计算机学院20级实验报告/代码——汇编实验;机器学习;计算机系统基础;算法实验;游戏设计;组原;计算机网络;软件工程;数据库;计算机视觉;操作系统课设☆45Updated last year
- 华中科技大学 数据库系统原理实践 - 以MySQL为例☆65Updated 2 years ago
- 华中科技大学2022级命令式计算原理☆12Updated last year
- 华中科技大学19级程序设计综合课程设计/数独求解器/数据结构课程设计/带有图形界面Easy-X☆21Updated 2 years ago
- HUST-SSE Software-Engineering-Curriculum-Design: Translation Miniprogram | 华中科技大学软件学院软件工程课设:机器翻译小程序☆24Updated 2 years ago
- 华中科技大学数据结构课程设计,基于SAT的二进制数独求解☆11Updated 4 years ago
- 华中科技大学操作系统实验☆20Updated last year
- 华中科技大学 riscv-pke 操作系统实验课设☆15Updated 5 months ago
- HUST-CS-2019 硬件综合训练-组原课设-riscv实现