luhan zhen's repositories
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.
-Chinese-chess
用Qt写的一个局域网**象棋对战软件
Language:C++000
ace
Constraint Solver ACE
Language:JavaMIT000
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)
Language:C++BSL-1.0000
choco-solver
An open-source Java library for Constraint Programming
Language:JavaBSD-4-Clause000
cpp-taskflow
Modern C++ Parallel Task Programming Library
OA_Notifier
吉林大学OA系统桌面客户端
Language:RustGPL-3.0000
HighlightInLatexRemover
A tool for processing the latex file.
Language:Rust000
latex-poster-template-for-jlu
吉林大学计算机学院研学论道latex模板
Language:TeXMIT000
SAT-Solver
SAT求解器
Language:C++000
start_docker
quickly open some container with ssh in docker
Language:C++000