https://github.com/termoshtt/cdcl

Toy Conflict-Driven Clause-Learning (CDCL) SAT solver for my understanding
https://github.com/termoshtt/cdcl

Last synced: 8 months ago
JSON representation

Toy Conflict-Driven Clause-Learning (CDCL) SAT solver for my understanding

• Host: GitHub
• URL: https://github.com/termoshtt/cdcl
• Owner: termoshtt
• License: apache-2.0
• Created: 2024-04-19T14:53:36.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-10-21T14:37:50.000Z (over 1 year ago)
• Last Synced: 2024-10-22T04:39:39.582Z (over 1 year ago)
• Language: Rust
• Homepage:
• Size: 233 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-APACHE

Awesome Lists containing this project

README

          
# cdcl

[![doc](https://img.shields.io/badge/API_Reference-main-blue)](https://termoshtt.github.io/cdcl/cdcl/)

[![CodSpeed](https://img.shields.io/badge/Benchmark-CodSpeed-orange)](https://codspeed.io/termoshtt/cdcl)

Toy Conflict-Driven Clause-Learning (CDCL) SAT solver for learning

# Learning materials

- [IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning (arXiv)](https://arxiv.org/abs/2402.15522v1)

- [SAT ソルバーの最新動向と利用技術 (PDF, Japanese)](https://jssst-ppl.org/workshop/2017/slides/ppl2017_c4_soh.pdf)

- [GlueMiniSat 2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速 SAT ソルバー](https://www.jstage.jst.go.jp/article/jssst/29/4/29_4_146/_pdf)