华中科技大学程序设计综合课设，基于DPLL算法的SAT求解器+蜂窝数独 / stater
☆14Sep 19, 2023Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 华中科技大学19级程序设计综合课程设计/数独求解器/数据结构课程设计/带有图形界面Easy-X☆23Feb 20, 2023Updated 3 years ago
- HUST-CS-2019 程序设计综合课程设计-数据结构课设：基于高级语言源程序格式处理工具☆16Oct 25, 2022Updated 3 years ago
- 华中科技大学操作系统实验☆28Mar 4, 2024Updated 2 years ago
- 华中科技大学大数据分析实验2019级☆11Jan 16, 2022Updated 4 years ago
- Exploiting Inter-sample and Inter-feature Relations in Dataset Distillation (CVPR24)☆11Jun 16, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 华中科技大学计算机系统基础实验报告以及源代码☆13Jun 12, 2024Updated last year
- 华中科技大学计算机系统基础实验报告（共64页）☆17Nov 18, 2023Updated 2 years ago
- 华中22级数电logisim实验，交通信号灯设计☆11Apr 30, 2024Updated last year
- Craw steam comment;Craw Googleplay commentCraw Appstore comment;☆12Jan 12, 2024Updated 2 years ago
- 数字逻辑与计算机组成logisim头歌实践教学平台答案☆24Mar 2, 2023Updated 3 years ago
- 华中科技大学 计算机学科学与技术学院 实验资料 课程设计资料☆15Jul 3, 2022Updated 3 years ago
- 华中科技大学物理实验画图及数据处理（使用python）☆49Sep 18, 2024Updated last year
- 一个用于记录和显示键盘和鼠标点击次数的程序，并通过柱状图和热图展示。☆15Sep 28, 2024Updated last year
- 树模型、SVD、李航《统计学习方法》、机器学习算法实现 by Numpy/Pandas/Tensorflow2 重构中...☆11Mar 31, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 基于SAT的二进制数独游戏求解程序-基准版☆18Mar 3, 2022Updated 4 years ago
- 华中科技大学java语言程序设计作业题，包括基础题和编程题☆19May 15, 2020Updated 5 years ago
- Survey on LLM agentharness engineering with a taxonomy. 110+ papers, 23 systems analyzed.☆77Updated this week
- ☆45Oct 20, 2023Updated 2 years ago
- 微助教自动签到☆25Dec 8, 2018Updated 7 years ago
- C/C++ language practice for undergraduates of hust.cs☆23Feb 19, 2026Updated 2 months ago
- Robomaster summer camp 2018 不同颜色的色块识别/黑线循迹☆11Oct 27, 2019Updated 6 years ago
- 华中科技大学操作系统实验 riscv-pke☆38Jan 4, 2022Updated 4 years ago
- 华中科技大学计算机学院2021级大数据专业课程资料（2021-2024）☆44Mar 28, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 一个华科计算机学院的资料集合 https://yuhangchen1.github.io/HUST_OPEN_SOURCE/☆589Jan 19, 2026Updated 3 months ago
- 华中科技大学计算机学院计算机组成原理实验☆12Jan 18, 2022Updated 4 years ago
- ☆17Aug 16, 2019Updated 6 years ago
- HUST华中科技大学CS23课程记录：C语言程序设计 、计算思维、微积分、线性代数、数据结构data structure、程序设计sat dpll sudoku、离散数学、军事理论、CPP/C++、习思想、人工智能导论、大学物理、数字电路、数电、电路理论、离散数学、算法设计与…☆146Sep 4, 2025Updated 7 months ago
- Archived courses from the School of Computer Science and Technology, Huazhong University of Science and Technology.华中科技大学计算机学院已归档课程☆20Jun 22, 2023Updated 2 years ago
- PointWorld: Scaling 3D World Models for In-The-Wild Robotic Manipulation☆290Mar 2, 2026Updated last month
- 华中科技大学计算机学院20级实验报告/代码——汇编实验；机器学习；计算机系统基础；算法实验；游戏设计；组原；计算机网络；软件工程；数据库；计算机视觉；操作系统课设☆51Dec 16, 2023Updated 2 years ago
- 华中科技大学狼牙战队 RoboMaster 2023赛季 雷达站☆25May 10, 2024Updated last year
- 华中科技大学数据结构课程设计，基于SAT的二进制数独求解☆12Jun 28, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 改良版遗传算法解决 TSP 问题☆27Oct 18, 2021Updated 4 years ago
- 12306智能刷票、订票☆14Apr 10, 2025Updated last year
- Everyday you will make a green point in your github repository！☆21Aug 21, 2024Updated last year
- numpy/pandas/matplotlib及其数据科学包的使用教程☆20Dec 2, 2024Updated last year
- HUST-CS-2019 硬件综合训练-组原课设-riscv实现☆16Nov 3, 2022Updated 3 years ago
- 收集了各类ACM算法板子，从起步到区域赛金牌☆25May 21, 2024Updated last year
- 华中科技大学计算机学院数据结构前三次实验全部，及第四实验报告，及课程设计SAT问题☆43Nov 13, 2019Updated 6 years ago