yukatayu / Rustic_SAT_Solver Public

Notifications You must be signed in to change notification settings
Fork 0
Star 8

素朴なSATソルバ (再帰的マッチングのみ)

8 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
tests		tests
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README.md		README.md
data.hpp		data.hpp
lecture_material.pdf		lecture_material.pdf
solver.cpp		solver.cpp
solver.hpp		solver.hpp

Repository files navigation

Rustic_SAT_Solver

素朴なSATソルバ (再帰的マッチングのみ)

About

素朴なSATソルバ (再帰的マッチングのみ)

Report repository

Releases

No releases published

Packages

No packages published

Languages