This repository has been archived by the owner on Oct 1, 2023. It is now read-only.

private-yusuke / sat-d Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 9

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

9 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 109 Commits
.devcontainer		.devcontainer
.github/workflows		.github/workflows
demo		demo
problem_generator		problem_generator
source/satd		source/satd
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
dub.json		dub.json
dub.selections.json		dub.selections.json

Repository files navigation

sat-d

これは、情報科学特別演習での SAT ソルバー制作のためのリポジトリです。

テストケース

テストケースは、これらのウェブサイトを参照して取得しています。

参考

実装ログがまとめられています

About

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

dlang satisfiability-solver sat-solver cdcl-algorithm sat dpll satisfiability dpll-algorithm cdcl

Report repository

Releases

Packages

No packages published

Languages