华中科技大学程序设计综合课设，基于DPLL算法的SAT求解器+蜂窝数独 / stater
☆13Sep 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:
- 这是2025年秋华中科技大学计算机网络实验本硕博，智科，大数据的计网实验SDN☆30Nov 7, 2025Updated 8 months ago
- 华中科技大学19级程序设计综合课程设计/数独求解器/数据结构课程设计/带有图形界面Easy-X☆23Feb 20, 2023Updated 3 years ago
- HUST-CS-2019 程序设计综合课程设计-数据结构课设：基于高级语言源程序格式处理工具☆15Oct 25, 2022Updated 3 years ago
- 华中科技大学操作系统实验☆27Mar 4, 2024Updated 2 years ago
- 华中科技大学大数据分析实验2019级☆11Jan 16, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 华中科技大学计算机系统基础实验报告以及源代码☆13Jun 12, 2024Updated 2 years ago
- 🐱 你的二次元赛博哈基米 | 基于 LLM 的智能化番剧管理与分析助手。支持 Bangumi 数据同步、AI 深度画像分析、年度总结海报生成与个性化推荐。☆29May 20, 2026Updated last month
- CSAPP - Buffer Overflow Attacks / Bufbomb Lab☆15Feb 24, 2019Updated 7 years ago
- 华中科技大学数据结构实验报告☆13Dec 10, 2022Updated 3 years ago
- 数字逻辑与计算机组成logisim头歌实践教学平台答案☆33Mar 2, 2023Updated 3 years ago
- 2024 全国大学生计算机系统能力大赛数据库管理系统赛道 一等奖参赛作品 (2/325)☆39Aug 23, 2025Updated 10 months ago
- AAAI 2024, M3D: Dataset Condensation by Minimizing Maximum Mean Discrepancy☆26Mar 2, 2024Updated 2 years ago
- Code of Semantic Point Cloud Upsampling (SPU) published on IEEE Transactions on Multimedia.☆23Apr 23, 2022Updated 4 years ago
- 华中科技大学物理实验画图及数据处理（使用python）☆50Sep 18, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 一个用于记录和显示键盘和鼠标点击次数的程序，并通过柱状图和热图展示。☆16Sep 28, 2024Updated last year
- 基于SAT的二进制数独游戏求解程序-基准版☆18Mar 3, 2022Updated 4 years ago
- 华中科技大学java语言程序设计作业题，包括基础题和编程题☆18May 15, 2020Updated 6 years ago
- ☆45Oct 20, 2023Updated 2 years ago
- Recommend health check packages based on user information.☆66May 26, 2026Updated last month
- 华中科技大学操作系统实验 riscv-pke☆37Jan 4, 2022Updated 4 years ago
- 华中科技大学计算机学院2021级大数据专业课程资料（2021-2024）☆49Mar 28, 2025Updated last year
- C/C++ language practice for undergraduates of hust.cs☆23Feb 19, 2026Updated 4 months ago
- [ICCV'25] FreeMorph: Tuning-Free Generalized Image Morphing with Diffusion Model☆90Jul 24, 2025Updated 11 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 一个华科计算机学院的资料集合 https://yuhangchen1.github.io/HUST_OPEN_SOURCE/☆634May 29, 2026Updated last month
- 华中科技大学计算机学院计算机组成原理实验☆14Jan 18, 2022Updated 4 years ago
- Archived courses from the School of Computer Science and Technology, Huazhong University of Science and Technology.华中科技大学计算机学院已归档课程☆22Jun 22, 2023Updated 3 years ago
- 华中科技大学计算机学院20级实验报告/代码——汇编实验；机器学习；计算机系统基础；算法实验；游戏设计；组原；计算机网络；软件工程；数据库；计算机视觉；操作系统课设☆51Dec 16, 2023Updated 2 years ago
- 华中科技大学狼牙战队 RoboMaster 2023赛季 雷达站☆26May 10, 2024Updated 2 years ago
- 华中科技大学数据结构课程设计，基于SAT的二进制数独求解☆12Jun 28, 2021Updated 5 years ago
- 12306智能刷票、订票☆13Apr 10, 2025Updated last year
- PointWorld: Scaling 3D World Models for In-The-Wild Robotic Manipulation☆439May 17, 2026Updated last month
- 华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem☆35Sep 4, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- HUST-CS-2019 硬件综合训练-组原课设-riscv实现☆16Nov 3, 2022Updated 3 years ago
- 华科寝室简易门禁☆30Mar 30, 2022Updated 4 years ago
- 收集了各类ACM算法板子，从起步到区域赛金牌☆32May 21, 2024Updated 2 years ago
- 华中科技大学计算机学院数据结构前三次实验全部，及第四实验报告，及课程设计SAT问题☆40Nov 13, 2019Updated 6 years ago
- 第十九届“挑战杯”揭榜挂帅专项赛华为赛道打榜第一&国家特等奖-拔萝卜的工程队作品仓库 19th Challenge Cup National Grand Prize☆35Mar 18, 2026Updated 3 months ago
- ICLR 2024, Towards Lossless Dataset Distillation via Difficulty-Aligned Trajectory Matching☆108May 23, 2024Updated 2 years ago
- HUST-SSE Software-Engineering-Curriculum-Design: Translation Miniprogram | 华中科技大学软件学院软件工程课设：机器翻译小程序☆25Aug 16, 2023Updated 2 years ago