sat-d 1.0.1

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:

sat-d

Run all D Tests

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

テストケース

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

  • https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html
  • https://massimolauria.net/cnfgen/

参考

Scrapbox

  • 実装ログがまとめられています
Authors:
  • public_yusuke
Dependencies:
pegged
Versions:
1.0.2 2021-Nov-03
1.0.1 2021-Aug-24
1.0.0 2021-Aug-03
~master 2021-Nov-03
~remove-history-2 2020-Oct-07
Show all 12 versions
Download Stats:
  • 0 downloads today

  • 0 downloads this week

  • 0 downloads this month

  • 84 downloads total

Score:
0.0
Short URL:
sat-d.dub.pm