An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.

SObjectizer: it's all about in-process message dispatching!

历年 CSP 真题代码

A C++ Constraint Programming Library

A CSP for the OpenPGP card - goal: add write support for certificate enrollment

我在OJ上所做的数据结构和算法题目集及相应的解答。现在大概有400+题目, 主要包括Leetcode、HiHoCoder、NowCoder、CCF CSP认证考试和其他OJ，其中Leetcode上做题数量最多，分类齐全，总结也更多一些。

A native library implementing of cryptography, ciphers, PKI and the formats that are used in PKI applications.

This repository contains generic platform for solving and benchmarking computational puzzles using different search strategies

PEQNP Mathematical Solver

All my solution for examination questions collection.

A Room Generator based on a CSP Solver

Solve Jigsaw Sudoku using BackTracking & CSP with C++

NACRE : Nogood And Clause Reasoning Engine

🍬记录我在解 CCF - CSP 时遇到的一些问题以及总结的经验。

GOS (Girona Optimization System) is a tool for modeling and solving CSPs using SAT.

C++ implementation of "On an exact method for the constrained shortest path problem".

存储学习OI时的代码及样例

Пакет node.js реализующий нативный запуск CryptVerifyMessageSignature и CryptSignMessage КриптоПро CSP

NACRE : Nogood And Clause Reasoning Engine