Code

feat: add GSAT implementation#7

Code

Merged

SauravMaheshkar merged 7 commits intomainSauravMaheshkar/sat-rs:mainfrom solver-gsatSauravMaheshkar/sat-rs:solver-gsatCopy head branch name to clipboardJan 8, 2024

+249-24

Commits

Commits on Jan 8, 2024

• fix(wsat): default to false

  SauravMaheshkar

  committed
  e1b9307

  Copy full SHA for e1b9307

• fix(tests): fix test fn names

  SauravMaheshkar

  committed
  ab94bac

  Copy full SHA for ab94bac

• feat(gsat): add GSAT impl

  SauravMaheshkar

  committed
  aa7dba2

  Copy full SHA for aa7dba2

• docs: update README

  SauravMaheshkar

  committed
  4597de7

  Copy full SHA for 4597de7

• feat: add helper fns to Formula

  SauravMaheshkar

  committed
  ab6f809

  Copy full SHA for ab6f809

• feat(wsat): use util fns on Formula

  SauravMaheshkar

  committed
  827a315

  Copy full SHA for 827a315

• feat(gsat): add gsat impl with random walks

  SauravMaheshkar

  committed
  5a7c98a

  Copy full SHA for 5a7c98a