GitHub - nyuichi/yabai-sat: sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simplification + literal block distance · GitHub

Repository navigation

yabai-sat

Public

About

sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simplification + literal block distance

16 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
Bejing		Bejing
tests		tests
.clang-format		.clang-format
Makefile		Makefile
README.md		README.md
logic.cpp		logic.cpp
sat.cpp		sat.cpp
sudoku.cpp		sudoku.cpp
sudoku.txt		sudoku.txt

Repository files navigation

See also https://yabaitech.tokyo/techbookfest10/2020/12/20/techbookfest10.html.

About

sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simplification + literal block distance

16 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages