AdamYuan/SATv2 AdamYuan/SATv2

  • Stars
    star
    1
  • Language
    C++
  • License
    MIT License
  • Created almost 7 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AdamYuan/SATv2
github

AdamYuan

Reviews

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

Repository Details

An efficient c++ implementation of SASAT algorithm for solving boolean satisfiability problem

More Repositories

1

SparseVoxelOctree

A GPU SVO Builder using rasterization pipeline, a efficient SVO ray marcher and a simple SVO path tracer.
C++
599
star
2

HyperCraft

High performance voxel engine
C++
45
star
3

CubeCraft2

Minecraft clone using c++ and modern opengl
C++
27
star
4

dwm-winicon

A patch adding window icons to DWM
C
20
star
5

xfce4-wintitle-plugin

A xfce4-panel plugin that shows activate window title and icon (quite useful in some tiling window managers)
C
15
star
6

dwm

my dwm build
C
14
star
7

Adypt

AdamYuan's PathTracer
C++
14
star
8

herbstluftwm-config

Shell
11
star
9

VkNRC

Vulkan Implementation of NVIDIA's paper Real-time Neural Radiance Caching for Path Tracing.
C++
11
star
10

SimpleNN

a simple neural network
C++
10
star
11

DeepGBufferGI

Implementation of "Deep G-Buffers for Stable Global Illumination Approximation" using OpenGL 4.5
C++
10
star
12

VkHashDAG

C++
8
star
13

NIS1336_Schedulite

C++
7
star
14

SE3330_HyperCraft

C
6
star
15

MyVK

C++
4
star
16

dotfiles

my config files
Vim Script
3
star
17

VcTest

C
3
star
18

SE2322_LSMKV

SJTU SE2322 Class Project
C++
3
star
19

VkAdypt

C++
2
star
20

hacker.org-solutions

Shell
2
star
21

CubeCraft

C++
2
star
22

SquareCraft

C++
2
star
23

PathGL

a simple gpu path tracer using opengl compute shader
C
1
star
24

VulkanQueueSelector

An single-header library to select optimal vulkan queues.
C++
1
star
25

PushBoxSFML

A PushBox Game written with C++ and SFML
C
1
star
26

SE3306_Final

C++
1
star