Pinned Repositories
Assignment
AVL_tree
CDCL_Sat_Solver
gcc
github-slideshow
A robot powered training repository :robot:
Leetcode
LeetCode-1
This repository contains the solutions and explanations to the algorithm problems on LeetCode. Only medium or above are included. All are written in C++/Python and implemented by myself. The problems attempted multiple times are labelled with hyperlinks.
MWVC_to_SAT_byBDDs
officialSite
PseudoBooleanConstraintSolverByZDD
haojicc's Repositories
haojicc/Assignment
haojicc/AVL_tree
haojicc/CDCL_Sat_Solver
haojicc/gcc
haojicc/github-slideshow
A robot powered training repository :robot:
haojicc/Leetcode
haojicc/LeetCode-1
This repository contains the solutions and explanations to the algorithm problems on LeetCode. Only medium or above are included. All are written in C++/Python and implemented by myself. The problems attempted multiple times are labelled with hyperlinks.
haojicc/MWVC_to_SAT_byBDDs
haojicc/officialSite
haojicc/PseudoBooleanConstraintSolverByZDD
haojicc/utcs2022