sat-d ~cdcl

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:

none

Versions:

Download Stats:

Score:

0.0

Short URL:

sat-d.dub.pm