https://github.com/karipov/sat-solver

Iterative DPLL SAT Solver with occurrence lists, jeroslow-wang heuristic
https://github.com/karipov/sat-solver

dpll sat-solver

Last synced: 4 months ago
JSON representation

Iterative DPLL SAT Solver with occurrence lists, jeroslow-wang heuristic

• Host: GitHub
• URL: https://github.com/karipov/sat-solver
• Owner: karipov
• Created: 2024-02-20T23:03:37.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-03-01T07:15:58.000Z (over 2 years ago)
• Last Synced: 2025-02-27T12:02:02.940Z (over 1 year ago)
• Topics: dpll, sat-solver
• Language: Julia
• Homepage:
• Size: 456 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# DPLL SAT Solver

### File directory overview

- `src/dpll.jl`: main DPLL algorithm including BCP and conflict resolution

- `src/heuristics.jl`: contains heuristics for jeroslaw-wang, random, and unit-preference

- `src/processors.jl`: reads in DIMACS, outputs JSON

- `src/utils.jl`: variable assignment, truth checking and other utilities

- `src/verification.jl`: checks if a solution is valid

- `src/main.jl`: main entry point for running the solver