lingwu-hb/DPLLsolveSATproblem external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lingwu-hb/DPLLsolveSATproblem

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lingwu-hb/DPLLsolveSATproblem)

Close

lingwu-hb / DPLLsolveSATproblemView on GitHubMore

• External links
• Readme badge

2020级课程设计DPLL算法解决SAT问题

☆12Nov 3, 2021Updated 4 years ago

Alternatives and similar repositories for DPLLsolveSATproblem

Users that are interested in DPLLsolveSATproblem are comparing it to the libraries listed below

• liuwenbo0 / hust-datastructure

  View on GitHub
  华中科技大学数据结构实验报告
  ☆12Dec 10, 2022Updated 3 years ago
• RyaoChengfeng / wzj-checkin

  View on GitHub
  微助教签到
  ☆12Apr 1, 2024Updated last year
• wx-chevalier / Python-Notes

  View on GitHub
  现代 Python 开发：语法基础与工程实践，MD & Notebooks
  ☆20Updated this week
• sukrutrao / SAT-Solver-CDCL

  View on GitHub
  A simple SAT solver based on the CDCL algorithm
  ☆19Sep 10, 2019Updated 6 years ago
• Chenjz70 / Practice_of_Freshman

  View on GitHub
  Source for Practice_of_Freshman
  ☆25Sep 27, 2020Updated 5 years ago
• marcmelis / dpll-sat

  View on GitHub
  Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
  ☆14May 24, 2018Updated 7 years ago
• Chu-Wang / DataStructLab

  View on GitHub
  华中科技大学计算机学院数据结构前三次实验全部，及第四实验报告，及课程设计SAT问题
  ☆43Nov 13, 2019Updated 6 years ago
• ymx10086 / HUST-2022-DATA_STRUCTURES

  View on GitHub
  2021级HUST数据结构实验及实验报告
  ☆10Apr 17, 2024Updated last year
• Oliver-242 / HUST-Foundation-of-Computer-System

  View on GitHub
  华中科技大学2020级计算机系统基础
  ☆18Mar 12, 2023Updated 3 years ago
• Billy1900 / DPLL-Algorithm

  View on GitHub
  华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
  ☆37Sep 4, 2019Updated 6 years ago
• adhavpavan / ContainerizingApps

  View on GitHub
  ☆14Jan 26, 2023Updated 3 years ago
• wonglkd / BCacheSim

  View on GitHub
  Cache Simulator specialized for flash caching for bulk storage systems)
  ☆12Jan 16, 2024Updated 2 years ago
• bagustris / detect-segment-cough

  View on GitHub
  A python model to detect and segment coughs, forked from coughvid's repo
  ☆15Oct 24, 2024Updated last year
• Klangio / covid-19-cough-classification

  View on GitHub
  Cough audio classification using a simple network implemented in Pytorch
  ☆16Apr 5, 2021Updated 4 years ago
• xiong35 / type-challenges-solutions

  View on GitHub
  对 type challenges 中问题的解答和分析。Answers and explainations to type challenges.
  ☆11Oct 9, 2021Updated 4 years ago
• ekesaitingg / hust-network2021

  View on GitHub
  华中科技大学计算机网络实验2019级
  ☆12Oct 24, 2022Updated 3 years ago
• zz12138zz / cpp_experiment_of_HUST

  View on GitHub
  华中科技大学计算机学院C++实验源码及报告
  ☆18Jun 8, 2022Updated 3 years ago
• leondada / FedRA

  View on GitHub
  ☆19Nov 18, 2023Updated 2 years ago
• deepeshmittal / AI-PacMan-Projects

  View on GitHub
  Implemented various AI algorithms in Pac-Man projects developed by UC Berkeley. Implemented informed/blind state-space search using searc…
  ☆24Mar 20, 2016Updated 10 years ago
• Avanti1980 / course-alg

  View on GitHub
  ☆11Mar 3, 2026Updated 2 weeks ago
• lygyue / SimpleDeepLearningFramework

  View on GitHub
  C++ implement a simple CNN framework to train mnist data. Done!
  ☆10Mar 29, 2022Updated 3 years ago
• z11i / pysat

  View on GitHub
  Simple SAT solver with CDCL implemented in Python
  ☆19Jan 5, 2023Updated 3 years ago
• NickLee2050 / HustProgramDesign

  View on GitHub
  Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
  ☆14Apr 9, 2021Updated 4 years ago
• poorpool / riscv-cpu

  View on GitHub
  基于Logisim的RISC-V五段流水CPU，支持重定向流水线和单周期多中断
  ☆16Aug 31, 2022Updated 3 years ago
• iamsubhranil / ThreadPool

  View on GitHub
  A fast, small, efficient pthreads based threadpool in c
  ☆16Mar 2, 2021Updated 5 years ago
• xuxinhang / HUST-CAS-login-emulator

  View on GitHub
  模拟登录智慧华中大统一身份认证（HUST CAS） 支持验证码自动识别
  ☆14Jun 24, 2020Updated 5 years ago
• UniqueStudio / UniqueRecruitmentSystem

  View on GitHub
  A management system for recruitment of Unique Studio
  ☆14Sep 18, 2022Updated 3 years ago
• jiuzhejiuzhejiuzhe / HUST-ComputerArchitecture

  View on GitHub
  华中科技大学 2020 计算机组成原理 实验
  ☆12Nov 7, 2020Updated 5 years ago
• laplaceyc / Parallel-Programing

  View on GitHub
  This repo is "NTHU Parallel Programing" course project.
  ☆10Dec 5, 2017Updated 8 years ago
• nihil21 / custom-svm

  View on GitHub
  Custom implementation of Support Vector Machines using Python and NumPy
  ☆13Nov 26, 2023Updated 2 years ago
• accelerator-s / SJTURunningMan_Revise_Edition

  View on GitHub
  SJTU跑步打卡上传
  ☆30Mar 6, 2026Updated 2 weeks ago
• Weierstras-s / RISCV-CPU

  View on GitHub
  ☆13Apr 12, 2022Updated 3 years ago
• wonglkd / Baleen-FAST24

  View on GitHub
  Code for "Baleen: ML Admission & Prefetching for Flash Caches" (FAST 2024).
  ☆27Feb 29, 2024Updated 2 years ago
• theNefelibata / cpp_smart_ptr

  View on GitHub
  一步步实现c++中的智能指针
  ☆10Jun 6, 2021Updated 4 years ago
• Elubrazione / report_hust

  View on GitHub
  华中科技大学大学CS课程其它报告存档库。组成原理、计算机网络、汇编语言、数据库、操作系统、课程设计以及大数据处理。
  ☆11Jan 16, 2024Updated 2 years ago
• panhomyoung / phySAT

  View on GitHub
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆17Aug 2, 2023Updated 2 years ago
• anda522 / ThreadPool

  View on GitHub
  基于C++17实现的简易线程池（附代码解释和知识介绍）
  ☆13Apr 14, 2023Updated 2 years ago
• reKelin / Database-experiment-based-on-MySQL

  View on GitHub
  华中科技大学 数据库系统原理实践 - 以MySQL为例
  ☆64Jan 5, 2023Updated 3 years ago
• zz12138zz / HUST_Computer_Organization

  View on GitHub
  华中科技大学计算机学院计算机组成原理实验
  ☆12Jan 18, 2022Updated 4 years ago