GitHub - elteammate/sat-cv: An average CV with a tiny DPLL "sat-solver" inside it. · GitHub

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
chessboard.typ		chessboard.typ
logic.typ		logic.typ
source.typ		source.typ
utils.typ		utils.typ

About

An average CV with a tiny DPLL "sat-solver" inside it.

1 star

1 watching

Report repository

Releases

Packages

Contributors