NekoSilverFox/EinsteinBDD NekoSilverFox/EinsteinBDD

  • Stars
    star
    1
  • Language
    C++
  • License
    Apache License 2.0
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
NekoSilverFox/EinsteinBDD
github

NekoSilverFox

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

🗝 使用二元决策图（BDD）和 BuDDy 库解决二维且带有胶合的的爱因斯坦谜题

More Repositories

1

Assembly

⚡ 亲手编写实现基于王爽老师《汇编语言》的300个汇编程序例程 | Implementation of 300 assembly program examples based on "Assembly Language"
Assembly
243
star
2

OpenGL

📽 基于 Qt & OpenGL 的计算机图形学实例
C++
67
star
3

PolyChat

✉️ 基于Qt的多语言跨平台局域网聊天软件（可创建多个聊天群组、可发文件、并包括 QTest 和 CI/CD 的使用） | QT-based development of LAN chat rooms | Кроссплатформенный чат для локальной сети, основанный на разработке QT
C++
45
star
4

Qt

【🔧更新中】关于 Qt 无比详细教程及案例实现。不仅涵盖了Qt基本控件的使用及讲解，还包含了大学和培训机构不会讲到的：插件设计及实现、基于 QTest 的静态动态、动态测试、CI/CD的使用等
C++
31
star
5

ZYNQ

⚙️ 基于 Zynq-7 全可编程 SoC 的设计
HTML
25
star
6

Linux

🐧 以“标签”形式对Linux的命令进行的梳理
16
star
7

CPP

💻 C++ 由简及繁，学习历程
C++
12
star
8

Machine-learning

🔬 深度学习项目库 —— 基于 sklearn
Jupyter Notebook
7
star
9

Compilers-Stanford

🛠 斯坦福大学-编译原理 | 基于 COOL 语言的编译器实现
Assembly
6
star
10

OpenCV

【🔧更新中🔧】基于 Qt 和 OpenCV 的计算机视觉示例实现及教程
Python
6
star
11

Software-Engineering

优质软件开发过程的基本原理及其计量方法
4
star
12

Data-Mining

⛏ 数据挖掘相关知识、笔记及代码。包含 Jupyter、Matplotlib、Numpy、Pandas
Jupyter Notebook
3
star
13

CUC

一种新机器学习分类器 —— 编码单元分类器 Coding unit classifier CUC
Jupyter Notebook
2
star
14

dorm-bot

ВК робот | VK Robot
Python
2
star
15

CornerDetectionOnZYNQ

通过 ZYNQ 开发板实现实时角点监测，并通过 HDMI 输出
C++
2
star
16

Compiler-MiLan

MiLan 编译器拓展
C
2
star
17

BlockStorageTester

基于 Qt & PostgreSQL 分块存储测试器
C++
2
star
18

OpenGL-Cone2Rocket

通过 OpenGL 的几何着色器实现平面变化为火箭
C++
2
star
19

Binary-Equilibrium-OA

🔬0-1 Knapsack问题的二元均衡优化算法 | A Binary Equilibrium Optimization Algorithm for 0–1 Knapsack Problems
Jupyter Notebook
2
star
20

Java

Java
1
star
21

Skin-Silverfox-Sougou

搜狗输入法皮肤
1
star
22

EasyQQ

2021 SPbSTU project
Python
1
star
23

OS

C
1
star
24

Qt-RSA

简化版的 RAS 非对称加密的信息传输系统
C++
1
star
25

financial-calculator

1
star
26

Daily-Cheese

每日计算机知识！
1
star
27

CMO

🤖 基于排队论的时序控制系统及自动目标测试
Python
1
star
28

PostgreSQL-SPbSTU

Lab and Test PostgreSQL | SPbPU 大三下（第六学期）PostgreSQL 数据库项目库
Jupyter Notebook
1
star