oahzxl/SatDpllBaseline oahzxl/SatDpllBaseline

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    C
  • License
    MIT License
  • Created almost 5 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
oahzxl/SatDpllBaseline
github

oahzxl

Reviews

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

Repository Details

基于SAT的二进制数独游戏求解程序-基准版

More Repositories

1

cs6208

A prototype of Graphormer
Python
5
star
2

nicp

Non-rigid Iterative Closest Point(NICP) fits 3d face meshes
Python
4
star
3

HustMachineLearning

华中科技大学18级机器学习作业
Python
4
star
4

nerfw

Jupyter Notebook
2
star
5

HualuSmokeCall2020

2020年华录杯 抽烟打电话赛道
Python
2
star
6

nerf

mynerf
Python
1
star
7

nrnerf

Python
1
star
8

icp

Iterative Closest Point(ICP) fits 3d face meshes
Python
1
star