Pinned Repositories
-Chinese-chess
用Qt写的一个局域网**象棋对战软件
ace
Constraint Solver ACE
AllDifferent
This repository is public for the paper "Eliminating the Computation of Strongly Connected Components in Filtering Algorithm for AllDifferent Constraint".
Catch2
A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)
choco-solver
An open-source Java library for Constraint Programming
cpp-taskflow
Modern C++ Parallel Task Programming Library
OA_Notifier
吉林大学OA系统桌面客户端
RuCos
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
the-Graduation-Dissertation-Template-for-Postgraduates-in-Jilin-University
吉林大学研究生毕业论文初稿latex模板
xcsp3-rust
The purpose of this library is to read XCSP files into rust constraint programming solvers.
luhanzhen's Repositories
luhanzhen/the-Graduation-Dissertation-Template-for-Postgraduates-in-Jilin-University
吉林大学研究生毕业论文初稿latex模板
luhanzhen/xcsp3-rust
The purpose of this library is to read XCSP files into rust constraint programming solvers.
luhanzhen/RuCos
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
luhanzhen/-Chinese-chess
用Qt写的一个局域网**象棋对战软件
luhanzhen/ace
Constraint Solver ACE
luhanzhen/AllDifferent
This repository is public for the paper "Eliminating the Computation of Strongly Connected Components in Filtering Algorithm for AllDifferent Constraint".
luhanzhen/Catch2
A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)
luhanzhen/choco-solver
An open-source Java library for Constraint Programming
luhanzhen/cpp-taskflow
Modern C++ Parallel Task Programming Library
luhanzhen/OA_Notifier
吉林大学OA系统桌面客户端
luhanzhen/HighlightInLatexRemover
A tool for processing the latex file.
luhanzhen/latex-poster-template-for-jlu
吉林大学计算机学院研学论道latex模板
luhanzhen/LeetCode
This is a repo for my tale about the leetcode.
luhanzhen/or-tools
Google's Operations Research tools:
luhanzhen/SAT-Solver
SAT求解器
luhanzhen/ScalaCP
luhanzhen/Similarity-Based-Domain-Adaptation-Network
luhanzhen/start_docker
quickly open some container with ssh in docker
luhanzhen/xml_parser