sat-d ~fastcdcl

A small SAT solver implementation

To use this package, run the following command in your project's root directory:

Manual usage
Put the following dependency into your project's dependences section:

dub.json

dub.sdl

sat-d

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

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

Authors:

Dependencies:

Versions:

Download Stats:

Score:

0.2

Short URL:

sat-d.dub.pm