shnarazk / LubySequence Public

A Lean4-formalization on Luby Sequence that is used as a heuristics on restarts in some SAT solvers.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 225 Commits
.github/workflows		.github/workflows
LubySequence		LubySequence
docs		docs
.envrc		.envrc
.gitignore		.gitignore
LubySequence.lean		LubySequence.lean
README.md		README.md
Utils.lean		Utils.lean
bib.yml		bib.yml
flake.lock		flake.lock
flake.nix		flake.nix
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
memo.typ		memo.typ